The kernel-patch is now available at http://www.debian.org/~adric/devfs/. Please take a look, and let me know what you think...