[coreboot] Patch merged into coreboot/master: 93f232d Fix LAPIC timer on Ivy Bridge systems