efi: x86: make efi_lookup_mapped_addr() a common function