Making the RAM mirror at 0x0e000000 work slightly again.
Authored by: debug 2014-08-06
Parent: [r5831]
Child: [r5833]