devfs: fix a vnode use-after-free in devfs_ioctl

The vnode to be replaced was read with a shared lock, meaning 2 racing threads
can find the same one.

While here clean it up a little bit.