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