Re: [coreboot] SeaBIOS debug output