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