Just realized I had referred to the wrong change in grub. The change fixing the problem for coreboot was even two years earlier, where grub introduced alternative timers.

I have corrected the link in the commit message.

View Change

To view, visit change 45960. To unsubscribe, or for help writing mail filters, visit settings.