[coreboot] Serial input / output with SeaBIOS 1.11.0