x86: get max_pfn_mapped in init_memory_mapping