Mmu cleanup

The primary patch is "Optimize mmu handling"

Only tested on QEMU and FVP due to hardware problem.
Yes, I'll fix.