Mmu cleanup

The primary patch is "Optimize mmu handling"

Only tested on QEMU and FVP due to hardware problem.