x86: e820 max_arch_pfn typo fix for 64 bit