# CONFIG_EFI_CAPSULE_LOADER is not set