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