[coreboot-gerrit] Patch set updated for coreboot: 3ff01cc ibexpeak: Reduce SMI usage