[Fedora-xen] Booting xen kernel causes hardware reset

[sp4rc]

Hello guys 

I am running Fedora 9 x86_64 in conjunction with a softraid
installation. The system is patched to newest state possible (2. Aug) 

If I install the kernel-xen.x86_64 package (version 2.6.25.3-2.fc9) and
try to boot into it the system simply resets itself. I cant see any
error message on the screen nor within /var/log/{messages,boot.log} 

My processor is an Intel Q9450 which supports VT. I have tried to enable
and disable this technology without any change to the problem. 

How can I go further? What would you suggest to debug this problem? Any
help on this odd issue is really appreciated.

/sp4rc
---------------------------------------------------------------------------
Here comes my systems hardware:

# cat /proc/cpuinfo
processor       : {0,1,2,3}
vendor_id       : GenuineIntel
cpu family      : 6
model           : 23
model name      : Intel(R) Core(TM)2 Quad  CPU   Q9450  @ 2.66GHz
stepping        : 7
cpu MHz         : 1999.000
cache size      : 6144 KB
physical id     : 0
siblings        : 4
core id         : 0
cpu cores       : 4
fpu             : yes
fpu_exception   : yes
cpuid level     : 10
wp              : yes
flags           : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge
mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe
syscall nx lm constant_tsc arch_perfmon pebs bts rep_good pni monitor
ds_cpl vmx smx est tm2 ssse3 cx16 xtpr sse4_1 lahf_lm
bogomips        : 5337.17
clflush size    : 64
cache_alignment : 64
address sizes   : 36 bits physical, 48 bits virtual
power management:
---------------------------------------------------------------------------

---------------------------------------------------------------------------
# lspci
00:00.0 Host bridge: Intel Corporation 82X38/X48 Express DRAM Controller
00:01.0 PCI bridge: Intel Corporation 82X38/X48 Express Host-Primary PCI
Express Bridge
00:06.0 PCI bridge: Intel Corporation 82X38/X48 Express Host-Secondary
PCI Express Bridge
00:19.0 Ethernet controller: Intel Corporation 82566DM-2 Gigabit Network
Connection (rev 02)
00:1a.0 USB Controller: Intel Corporation 82801I (ICH9 Family) USB UHCI
Controller #4 (rev 02)
00:1a.1 USB Controller: Intel Corporation 82801I (ICH9 Family) USB UHCI
Controller #5 (rev 02)
00:1a.2 USB Controller: Intel Corporation 82801I (ICH9 Family) USB UHCI
Controller #6 (rev 02)
00:1a.7 USB Controller: Intel Corporation 82801I (ICH9 Family) USB2 EHCI
Controller #2 (rev 02)
00:1c.0 PCI bridge: Intel Corporation 82801I (ICH9 Family) PCI Express
Port 1 (rev 02)
00:1c.4 PCI bridge: Intel Corporation 82801I (ICH9 Family) PCI Express
Port 5 (rev 02)
00:1d.0 USB Controller: Intel Corporation 82801I (ICH9 Family) USB UHCI
Controller #1 (rev 02)
00:1d.1 USB Controller: Intel Corporation 82801I (ICH9 Family) USB UHCI
Controller #2 (rev 02)
00:1d.2 USB Controller: Intel Corporation 82801I (ICH9 Family) USB UHCI
Controller #3 (rev 02)
00:1d.7 USB Controller: Intel Corporation 82801I (ICH9 Family) USB2 EHCI
Controller #1 (rev 02)
00:1e.0 PCI bridge: Intel Corporation 82801 PCI Bridge (rev 92)
00:1f.0 ISA bridge: Intel Corporation 82801IR (ICH9R) LPC Interface
Controller (rev 02)
00:1f.2 RAID bus controller: Intel Corporation 82801 SATA RAID
Controller (rev 02)
00:1f.3 SMBus: Intel Corporation 82801I (ICH9 Family) SMBus Controller
(rev 02)
00:1f.6 Signal processing controller: Intel Corporation 82801I (ICH9
Family) Thermal Subsystem (rev 02)
01:00.0 VGA compatible controller: nVidia Corporation Quadro FX 1700
(rev a1)
05:06.0 FireWire (IEEE 1394): Agere Systems FW323 (rev 70)
05:07.0 Multimedia audio controller: Creative Labs SB Audigy (rev 04)
05:07.1 Input device controller: Creative Labs SB Audigy Game Port (rev
04)
05:07.2 FireWire (IEEE 1394): Creative Labs SB Audigy FireWire Port (rev
04)
---------------------------------------------------------------------------

---------------------------------------------------------------------------
# egrep -v '^#|^$' /boot/grub/grub.conf 
default=1
timeout=5
splashimage=(hd0,0)/grub/splash.xpm.gz
hiddenmenu
title Fedora (2.6.25.3-2.fc9.x86_64.xen)
	root (hd0,0)
	kernel /xen.gz-2.6.25.3-2.fc9.x86_64.xen
	module /vmlinuz-2.6.25.3-2.fc9.x86_64.xen ro root=/dev/md2 rhgb quiet
	module /initrd-2.6.25.3-2.fc9.x86_64.xen.img
title Fedora (2.6.25.11-97.fc9.x86_64)
	root (hd0,0)
	kernel /vmlinuz-2.6.25.11-97.fc9.x86_64 ro root=/dev/md2 rhgb quiet
	initrd /initrd-2.6.25.11-97.fc9.x86_64.img
title Fedora (2.6.25.10-86.fc9.x86_64)
	root (hd0,0)
	kernel /vmlinuz-2.6.25.10-86.fc9.x86_64 ro root=/dev/md2 rhgb quiet
	initrd /initrd-2.6.25.10-86.fc9.x86_64.img
---------------------------------------------------------------------------