[coreboot] Max pci bus number?

[ron minnich]

Kevin, how would you feel about it if we handed the device tree off to
you? Just wondering.

Here are our choices.

1. ACPI
2. device tree
3. OFW tree.

I guess we need to solve this now anyway, other payloads will be able to use it.

How much time does your max bus detect add to boot time?

ron