[coreboot-gerrit] Patch set updated for coreboot: 9e40eff x86: harden tsc udelay() function