--- etc/rc.sysinit.orig	2010-06-10 09:23:26.000000000 +0200
+++ etc/rc.sysinit	2010-06-30 15:20:45.636868835 +0200
@@ -244,7 +244,7 @@
 
 FORCEFSCK=
 [ -f /forcefsck ] && FORCEFSCK="-- -f"
-NETFS="nonfs,nonfs4,nosmbfs,nocifs,nocodafs,noncpfs,nosysfs,noshfs,nofuse,nofuseblk,noglusterfs"
+NETFS="nonfs,nonfs4,nosmbfs,nocifs,nocodafs,noncpfs,nosysfs,noshfs,nofuse,nofuseblk,noglusterfs,nodavfs"
 
 fsck_reboot() {
 	echo "Automatic reboot in progress..."