Re: [coreboot] Coreboot serial output on a pci-e card - how to do it?