x86: ifdef 32-bit and 64-bit setup in init_memory_mapping()