RE: [linux-drivers-review] [PATCH] x86/mm: Fix boot with some memory above MAXMEM