x86 32-bit non-PAE mode MMU changes