x86: introduce max_pfn_mapped