[coreboot] Current status of WYSE S50 support