Верны ли мои определения devfs, devtmpfs и udev в Linux?

Практически верно для udevи devtmpfs, с оговоркой, что udevне требуется (в значительной степени, если у вас нет устройств, требующих специальной обработки из пользовательского пространства и не нуждающихся в символических ссылках, вам технически не нужноudev).

Что касается devfs, я думаю, вы правы, но я не уверен на 100%. Как правило, если вы не имеете дело с Linux-системами 10-летней давности (или плохо разработанными встроенными устройствами ), вам не о чем беспокоиться devfs.