hw: preliminary enable branch predictor on ARMv7

Warning: this is incomplete and incorrect, and doesn't work e.g.
on the Arndaleboard, so don't apply it ;-)
hw: enable and maintain outer l2 cache

Fix #1170
hw: non-cacheable memory (DMA dataspaces) should be non-cacheable
hw: disable S bit in MMU