x86: move max_pfn_mapped and max_low_pfn_mapped to setup.c