[PATCH 11/16] efi_loader: export efi_convert_pointer()