[coreboot-gerrit] Patch set updated for coreboot: Revert "sandy/ivybridge: use LAPIC timer in SMM"