kern/72119: Detaching USB Memory Stick w/o umount causes zombie devfs node

[Fireball]

> I believe that the device node continues to exist until the dead mount 
> is forcibly unmounted..

You believe wrongly. While it is unfortunate that my original problem
report has no line breaks, I did write that a umount -f on the device
node after pulling the USB plug did NOT help.

I HAD to delete and manually recreate the device node, before I could
mount the USB stick again. This is the main issue.

-- 
Jonas Nagel <fireball at zerouptime.ch>