[PATCH v3 11/17] efi_loader: export efi_convert_pointer()