[coreboot-gerrit] [XS] Change in coreboot[main]: security/intel/txt: Add support for x86_64