Re: [coreboot] Geode GX / CS5535 / PIC