Re: [coreboot] Wyse S10 and coreboot