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