memory hotplug x86_64: fix section mismatch in init_memory_mapping()