Trouble running NetBSD on Super Micro 5086-TRF

[Darren Reed <darrenr%netbsd.org@localhost>]

I'm trying to get NetBSD to run on a SuperMicro SuperServer:
http://www.supermicro.com/products/system/5u/5086/sys-5086b-trf.cfm
but running into a few difficulties.

The first is that an ACPI aware kernel will not boot (freezes
while probing cpu0). Nor will a kernel that is SMP aware
(recursive panic).

So a single CPU, ACPI disabled kernel boots and the dmesg
output can be seen here:

 http://imgur.com/a/CMXIc

(ILO so all that I've got are screen captures, no serial)

The first problem that I'd like to try and overcome is that
of the network interfaces. There are two 82576 chips but neither
how up when the kernel probes devices, they're only visible
with "pcictl pci0 list" which can be seen here:

 http://imgur.com/a/KCjZk

From various searching on the web, it seems that the system
has a number of Intel 7500 chips in it supporting QuickPath
and QuickData. This is ICH10 or...?

Is there a way to print out the device tree that would show
which pci bus/device the 82576 is attached to?

Darren