[coreboot] PCI BAR resource problem