[coreboot] SerialICE question