[PATCH] devfs: Remove the devfs_fs_kernel.h file from the tree