# CONFIG_EFI_BOOTLOADER_CONTROL is not set