[coreboot] Re: AM4 Ryzen Port problem: timer irq issue maybe?

[Marty E. Plummer]

Fail. Here's the actual dmesg and interrupts from stock firmware.