x86: max_low_pfn_mapped fix #4