x86: replace the now useless max_pfn_mapped define