Re: [coreboot] Serial input / output with SeaBIOS 1.11.0