x86: fix pte allocation in "x86: introduce init_memory_mapping for 32bit"