[coreboot-gerrit] New patch to review for coreboot: 02bfc88 lynxpoint: Don't enable SMI handling of TCO