Update: I tried to see if I really needed the acpi-user-options setting to boot and when I removed that setting I was still able to boot. I am still not able to boot the 64 bit kernel and I will step through the kmdb boot tomorrow and post the findings.
Jim -- This message posted from opensolaris.org
