Index: /trunk/src/VBox/Additions/linux/installer/vboxadd-timesync.sh
===================================================================
--- /trunk/src/VBox/Additions/linux/installer/vboxadd-timesync.sh	(revision 349)
+++ /trunk/src/VBox/Additions/linux/installer/vboxadd-timesync.sh	(revision 350)
@@ -151,5 +151,5 @@
 start() {
     if ! test -f $PIDFILE; then
-        echo -n "Starting vboxadd-timesync ";
+        echo -n "Starting VirtualBox host to guest time synchronisation";
         vboxaddrunning || {
             echo "VirtualBox Additions module not loaded!"
@@ -166,5 +166,5 @@
 stop() {
     if test -f $PIDFILE; then
-        echo -n "Stopping vboxadd-timesync";
+        echo -n "Stopping VirtualBox host to guest time synchronisation";
         vboxaddrunning || {
             echo "VirtualBox Additions module not loaded!"
Index: /trunk/src/VBox/Additions/linux/installer/vboxadd.sh
===================================================================
--- /trunk/src/VBox/Additions/linux/installer/vboxadd.sh	(revision 349)
+++ /trunk/src/VBox/Additions/linux/installer/vboxadd.sh	(revision 350)
@@ -170,4 +170,5 @@
     if [ ! -c $dev ]; then
         maj=`sed -n 's;\([0-9]\+\) vboxadd;\1;p' /proc/devices`
+        test -z "$maj" && maj=`sed -n 's;\([0-9]\+\) vboxadd;\1;p' /proc/misc`
         test -z "$maj" && {
             rmmod $modname