Re: [coreboot] #115: Enhance debug printk for pci_device