[coreboot] Wyse S10