Logged as a bug: https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=216555 Also see this thread on xen-devel: http://thread.gmane.org/gmane.comp.emulators.xen.devel/32640/focus=32640 This changeset has been applied to fix it: http://xenbits.xensource.com/xen-unstable.hg?cs=0c0ef61de06b R.