Someone else has reported this bug to xen-devel: http://lists.xensource.com/archives/html/xen-devel/2011-08/msg00852.html
Apparently 3.0.2 works.
Someone else has reported this bug to xen-devel: http:// lists.xensource .com/archives/ html/xen- devel/2011- 08/msg00852. html
Apparently 3.0.2 works.