Re: [coreboot] Geode GX2 VGA problems