Re: [PATCH] efi_loader: check efi_get_variable_int return value