x86: fix EFI mapping