[PATCH] x86/mm: Fix boot with some memory above MAXMEM