Kernel MMU refactoring