Problem with HP XW9300

[Gary Hennigan <gary@hennigan.us>]

I'm mainly sending this in the hopes it saves someone else the
frustration I had to go through.

If you're getting messages like:

PCI: Multiple domains not supported

or

PCI-DMA: high address but no IOMMU

try adding "acpi=off" to your kernel's boot parameter. I EVENTUALLY
found this in a HP document for installing Red Hat. It fixed all of my
booting issues. I have no idea what the consequences of turning ACPI
off are, but if I can boot, and see both my processors, then I'm
happy.

Gary