Add vbox -- VirtualBox time sync driver

Sets time forward to match the host time.

Started automatically if the corresponding device is present.

etc/system.conf

@@ -524,6 +524,19 @@ service devman
 	uid 0;
 };
 
-
-
-
+service vbox
+{
+	system
+		UMAP		# 14
+		DEVIO		# 21
+	;
+	pci device	80ee/cafe;
+	ipc
+		SYSTEM
+		PM
+		RS
+		VM
+		pci
+	;
+	uid	0;
+};

etc/usr/rc

@@ -141,6 +141,10 @@ start)
     fi
     up -n printer -dev /dev/lp -period 10HZ
     up -n ipc
+    # start VirtualBox time sync driver if the device is there
+    if grep '^[^ ]* [^ ]* 80EE:CAFE ' /proc/pci >/dev/null; then
+      up -n vbox -period 10HZ
+    fi
     echo .
 
     # Network initialization.