efi_loader: remove superfluous NULL check in bootefi.c