--- tools/hotplug/Linux/init.d/xend.orig	2010-08-25 10:22:42.000000000 +0200
+++ tools/hotplug/Linux/init.d/xend	2011-01-04 19:22:09.226083819 +0100
@@ -25,7 +25,6 @@
 if   test "x$1" = xstart && \
      test -d /proc/xen && \
    ! test -d /proc/xen/capabilities && \
-     grep '	xenfs$' /proc/filesystems >/dev/null && \
    ! grep '^xenfs ' /proc/mounts >/dev/null;
 then
 	mount -t xenfs xenfs /proc/xen