[coreboot-gerrit] Patch set updated for coreboot: d4a1786 baytrail: don't SMI on tco timer firing