A single fix to unbreak the build for CONFIG_EFI=n by adding a missing
IS_ENABLED() check.