Re: [coreboot] Set-top box Geode SC1201 based