Re: [PATCH 1/1] efi_loader: correct efi_set_variable_int() description