Hi,
The workaround for that case is to configure (make menuconfig) the fallback SeaBIOS not to load option rom for instance.
Great idea.
I've already figured the pxerom from the factory bios doesn't run on coreboot, seems to expect something coreboot doesn't provide, complains about some missing ID.
So I wanna add a ipxe rom instead. And having a fallback plan for a broken ipxe rom is good ...
cheers, Gerd