this bug can be reproduced easily on HP ML150G6 system with kernel-xen-2.6.18-194.el5 just by soft reboot it, iommu is enabled, will attach the serial console output later.
---
title Red Hat Enterprise Linux Server (2.6.18-194.el5xen)
root (hd0,0)
kernel /xen.gz-2.6.18-194.el5 iommu=on
module /vmlinuz-2.6.18-194.el5xen ro root=/dev/VolGroup00/LogVol01 pci_pt_e820_access=on
module /initrd-2.6.18-194.el5xen.img
---
Verified on RHEL5 Server x86_64 and i386 with kernel-xen-2.6.18-194.2.1.el5.
soft reboot the system over 180 times, no problem found.
Change status to VERIFIED.
An advisory has been issued which should help the problem
described in this bug report. This report is therefore being
closed with a resolution of ERRATA. For more information
on therefore solution and/or where to find the updated files,
please follow the link below. You may reopen this bug report
if the solution does not work for you.
http://rhn.redhat.com/errata/RHSA-2010-0398.html