That is fixed in Debian Squeeze
root@debian:~# grep XEN_PLATFORM_PCI /boot/config-2.6.32-5-xen-686 CONFIG_XEN_PLATFORM_PCI=y
That is fixed in Debian Squeeze
root@debian:~# grep XEN_PLATFORM_PCI /boot/config- 2.6.32- 5-xen-686 XEN_PLATFORM_ PCI=y
CONFIG_