The kernel from the DragonFly 1.2-RELEASE ISO is not recognizing all of the PCI busses on this Dell PowerEdge 1750 I'm working on. It sees pci0 and pci4, but not pci2 -- on a FreeBSD-installed 1750, pci2 is where the Broadcom NICs are. Is this a known bug, or something that can be fixed with a BIOS tweak?