# CONFIG_IMA_KEXEC is not set
