Re: [PATCH] efi_loader: fix an IS_ERR() vs NULL check