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