[coreboot] Boot failure with TianoCore

[Benjamin Doron]

Hi all,
I currently cannot boot Linux (Fedora 31) using either TianoCore payload on
a skylake laptop. I've received the error message "NMI watchdog: watchdog
detected hard lockup on CPU #" once, but it's otherwise just been
boot-looping.

I've tried enabling the legacy 8254 timer, but I don't think it helped.
This is for a port in progress that did previously boot properly.

Does anyone have an idea what might be wrong with it?

Thanks.