x86: clean up max_pfn_mapped usage - 64-bit