x86: clean up and and print out initial max_pfn_mapped