UEFI bootloader: Better memory map