[PATCH] devfs: Remove devfs_remove() function from the kernel tree