Mmu cleanup

The primary patch is "Optimize mmu handling"

Only tested on QEMU and FVP due to hardware problem.
This should be bit 4 I guess?