725490c68f
Semi-automatic handling of /dev prefix for device names. Sponsored by: DARPA & NAI Labs. Approved by: re (blanket)