Re: [coreboot] SeaBIOS and the Geode LX framebuffer