[coreboot-gerrit] Patch merged into coreboot/master: 7cb1ba9 haswell: use tsc for udelay()