[PATCHv2 1/2] x86/mm: Fix boot with some memory above MAXMEM