Re: [coreboot] Assigning PCI resources clobbers console with io-mapped / memory-mapped UART