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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]