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