# CONFIG_MODULE_SIG_UEFI is not set