[PATCH] devfs: Remove devfs documentation from the kernel tree