Re: [SeaBIOS] VGA Option ROM not set up correctly when loaded by coreboot and not SeaBIOS