Re: enable CONFIG_INTEL_TXT