[coreboot] Fwd: SIS630ET coreboot challenge