[coreboot] are the pci devices scanned two rounds?