[coreboot] SIS630ET coreboot challenge