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