[coreboot] Geode GX / CS5535 / PIC