# CONFIG_HAVE_IMA_KEXEC is not set
