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