Problems with Xen (kernel-xen0-2.6.11-1.1226_FC4) and Intel Corporation 82562ET/EZ/GT/GZ Ethernet