[coreboot] SeaBIOS debug output