pseudo-device -> device in kernel config.

Approved by:	joerg, dd

release/picobsd/doc/src/how2build.html

@@ -110,7 +110,7 @@
 <li>	Make sure that the system you're running has /dev/[r]vn0* entries in
 	/dev directory (if not, you can make them with 'MAKEDEV vn0'), AND
 	that your running kernel has built-in vnode driver (there should be a
-	line in your kernel config file stating 'pseudo-device vn xxx').
+	line in your kernel config file stating 'device vn xxx').
 </li>
 <li>	You'll need at least 9MB of free disk space, and free /mnt directory.
 </li>