Serial output of boot is attached.
Quite possible I'm crazy to think I could get this to work... :-)
Machine is a Dell Optiplex 755 (Intel Core2 Duo) running FC12.
I rebuilt the 3.4.2-2 src rpm from fc13.
kernel-2.6.32.9-1.2.89.xendom0.fc12.x86_64
kernel-firmware-2.6.32.9-1.2.89.xendom0.fc12.noarch
kernel-headers-2.6.32.9-1.2.89.xendom0.fc12.x86_64
xen-3.4.2-2.fc12.x86_64
xen-doc-3.4.2-2.fc12.x86_64
xen-hypervisor-3.4.2-2.fc12.x86_64
xen-libs-3.4.2-2.fc12.x86_64
xen-runtime-3.4.2-2.fc12.x86_64
Thanks for any guidance,
jerry