[coreboot] Missing devices in v3 serengeti

[ron minnich]

one last note: I see this in the output.


PCI: pci_scan_bus for bus 01
pci_scan_bus: old_devices 0x00000000, dev for this bus 0x00011010
(dynamic PCI: 00:0b.0)
PCI: scan devfn 0x0 to 0xff
PCI: devfn 0x0


it's certainly trying to scan bus 1. So next guess is that the config
space routing is wrong? or pci1234 is wrong?

Myles, if you get a chance, you might see in config space for 18:0.0
what is going wrong.

ron