03a6e0 Add kernel access to devtmpfs. Also add workround while devtmpfs is tmpfs_t instead of device_t.

Authored and Committed by Chris PeBenito 14 years ago
    Add kernel access to devtmpfs.  Also add workround while devtmpfs is tmpfs_t instead of device_t.