Updated to new SourceForge CVS locations, and fix a couple of minor

mistakes.

contrib/bochs/README

@@ -14,28 +14,31 @@ but it doesn't seem to quite work.)
 
 To get bochs running is fairly simple:
 
-1.  Build the utilities in this directory
+1.  Build the utilities in this directory:
       make
 
 2.  Get the bochs source code:
-      cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/bochs login
-      cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/bochs co bochs
+      cvs -d:pserver:anonymous@bochs.cvs.sourceforge.net:/cvsroot/bochs \
+           login
+      cvs -d:pserver:anonymous@bochs.cvs.sourceforge.net:/cvsroot/bochs \
+           co bochs
 
 3.  Configure bochs with
       pushd bochs
-      ./configure --enable-all-optimisations --enable-pci --enable-pnic
+      ./configure --enable-all-optimisations --enable-pci --enable-pnic \
                   --enable-debugger --enable-magic-breakpoints --enable-disasm
       popd
 
 4.  Build bochs:
       make -C bochs
 
-5.  Set up a TAP virtual network device:
-      modprobe tun
+5.  As root, set up a TAP virtual network device:
+      /sbin/modprobe tun
+      chmod o+r /dev/net/tun
       ./tunctl -u <username> -t tap0
-      ifconfig tap0 up 10.254.254.2 netmask 255.255.255.0
+      /sbin/ifconfig tap0 up 10.254.254.2 netmask 255.255.255.0
 
-6.  Add the following fragment to /etc/dhcpd.conf:
+6.  As root, add the following fragment to /etc/dhcpd.conf:
       subnet 10.254.254.0 netmask 255.255.255.252 {
         range dynamic-bootp 10.254.254.1 10.254.254.1;
       }
@@ -45,7 +48,7 @@ To get bochs running is fairly simple:
     machine you are using for running Bochs.  If not, then you're on
     your own.
 
-7.  Restart dhcpd
+7.  As root, restart dhcpd
       /etc/init.d/dhcpd restart
 
 8.  Build Etherboot images