[coreboot-gerrit] Patch merged into coreboot/master: 766482d baytrail: don't SMI on tco timer firing