[coreboot-gerrit] Patch set updated for coreboot: 25d7979 baytrail: add GPIO SMI support