[PATCH v0 2/4] x86: efi: break efi_lookup_mapped_addr out to generic code