Add kernel and library bits for devctl_set_driver().

While here, add errors section to devctl(3).
Fixed this bug now.
Preserve a device's name when it is disabled.
Explicitly note the new behavior of devctl_disable().