>Alternately umount(8) could look at the type of filesystem and always
>invoke a separate /sbin/umount_* program just like mount(8) does and

Which gets us back to where we started - the kernel would need to
store more info than it currently does, else umount_nfs would be 
invoked for any fs that was presented to the kernel as a local NFS mount.

--sjg