# CONFIG_IMA_SECURE_AND_OR_TRUSTED_BOOT is not set
