Re: [coreboot] PCI BAR resource problem