review.coreboot.org / coreboot / d466e6a8746c6dcdba8969618a3258093ae2392b / src / cpu / x86 / lapic / lapic.c