[coreboot] Patch merged into coreboot/master: d74f2d2 Re-initialize Local APIC timer on APs