[coreboot-gerrit] New patch to review for coreboot: 2aa6de9 haswell: use tsc for udelay()