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