Re: [coreboot] Servo debug uart in Linux?