освобождение связного списка

По-моему правильно, но циклом было бы эффективней чем нехвостовой рекурсией. И ненамного сложнее.

А с чего ты взяла, что здесь что-то не так?

можно так например
void FreeDev(struct devices * dev) {
    struct devices *temp;
    while(dev) {
      temp = dev->next;
      free(dev);
      dev=temp;
    }
}

Потому что идет утечка памяти... Как-нибудь на это влияет, что start глобальная переменная?

1)

void FreeDev(struct devices * dev)
{

   if (dev->next)
   {
      FreeDev(dev->next);
   }
   free(dev);
   dev=NULL; /* В этом месте присваивается
                значение параметру, т.е. фактически
                локальной переменной, которое
                будет потеряно при выходе из функции */
} 

Не уверен, что причина утечки именно в этом (всего кода не вижу),
но очень вероятно.

2)

2)

Не используй рекурсию - на достаточно большом списке можешь вылететь из стека.