[SeaBIOS] Coreboot, Geode LX and VGA