[PATCH 06/16] efi_loader: keep attributes in efi_set_variable_int()