[coreboot] SeaBIOS and the Geode LX framebuffer