x86: add gbpages support to 32-bit init_memory_mapping()