On Sat, Nov 26, 2016 at 02:37:45PM -0800, Jason Harmening wrote: > I can confirm this patch works. HPET is now chosen over LAPIC as the > eventtimer source, and the system works smoothly without disabling C2 or > mwait. Thank you for the testing. The change was committed to HEAD as r309189.