# CONFIG_INTEL_TXT is not set