Directory Listing
merge in trunk rev. 3426
make instprep.sh superfluous -> let the stuff create its own /dev/ nodes at boot