Re: [coreboot] Alix2c3 MB support (Geode LX800)