#70 grub *BROKEN* on desktop boards when dGPU is used. TODO: separate coreboot configs for such use case scenarios

in these setups, i must enable oprom loading in coreboot. and only allow GRUB to be used

TODO:

also investigate blacklisting pci IDs like in SeaBIOS, and disable PIKE2008 oproms in the same way (d8/d16 workaround for known hanging bug)

pointless to talk about. the only way to deal with it in a libreboot context is to distribute the roms basically, and know exactly what pci id is going to be correct in coreboot configs.... not practical

just use seabios, or configure coreboot to load option roms

libreboot can do this but... yeah, just use seabios