Re: [coreboot] power controller/serial port mux