Add missing include/devfs.h file