From:  Chris Wilson <chris@qwirx.com>

  If the call to devfs_register() fails, then the driver does not deregister
  its misc device before returning an error. This should fix it.