Thanks for the reply. I have wrote to the SeaBIOS mailing list now:
I am reporting this to coreboot out of the normal user perspective. When the user have a
typical OEM Bios on a mainboard with internal GPU, in normal cases when he install a PCIe
graphics card, then by logic he probably wants to use the PCIe one because otherwise he
wont have plugged it in.
creates such normal behavior the user is
I am using a default coreboot config. Just chosen the manufacturer and the model and then
build and flash. Thus i have not chosen SeaBIOS myself. SeaBIOS is just the default
The functionality now is for a normal user completely strange. I dont think a normal user
would even know what an option rom is. I dont know of any typical usecase where the user
would want to use the option rom from a Intel IGD GPU on an NVIDIA/AMD PCIe GPU. Should
the user really have to modify some config files to get the normal user experience when he
is using just the default coreboot config?