Re: [coreboot] coreboot 4772 & PCI ROM's errors and warnings