[coreboot] Patch merged into coreboot/master: 8e345d4 haswell: lapic timer support