Re: [coreboot] pci and console changes