Build #12 (Oct 11, 2018 2:20:13 AM)

1. Merged patchmgr into 70D_merge_fw112 (detail / hgweb)
2. 70D: disabled arrow key shortcuts and related workarounds
   https://www.magiclantern.fm/forum/index.php?topic=14309.msg206396#msg206396 (detail / hgweb)
3. arm-mcr.h: minor cleanups, non-functional:
   
   - moved _sync_caches in the old place
   - commented out setup_memory_region et al (detail / hgweb)
4. Patch manager: provide a default sync_caches for targets that don't include it
   (minimal, installer, reboot) (detail / hgweb)
5. Patch manager: moved sync_caches in patch.c and removed the "weak" trickery
   (fixes patch restoring when called from modules) (detail / hgweb)
6. Patch manager: reworked mechanism for re-applying cache patches when needed
   
   * arm-mcr.h: clean_d_cache and flush_i_cache are now private (sync_caches is the high-level function to be used)
   * replaced all calls to clean_d_cache/flush_i_cache with sync_caches
   * should fix issues with randomly "disappearing" cache patches
   * to be tested for performance issues etc (detail / hgweb)

Started by an SCM change