SBC TS4700 v2 не поддерживается стандартным ядром Debian, он использует вариант, предоставленный производителем. Это означает, что вы не можете использовать предоставленные Debian -пакеты ядра, включая пакеты заголовков.
Чтобы собрать дополнительные модули для системы, вам следует -перекрестно скомпилировать, сборка ядра на SBC не рекомендуется. Подробнее см. в вики TS ; в основном вам нужно клонировать соответствующий репозиторий и использовать его для сборки:
git clone https://github.com/embeddedarm/linux-2.6.35.3-imx28.git
Перезапуск NetworkManager не обязательно означает повторный -запуск процесса запроса DHCP; если текущая аренда DHCP все еще действительна, а сетевой интерфейс уже настроен, NetworkManager может просто продолжать использовать его как -. Вы захотите явно отключить и повторно подключить конкретное сетевое соединение, которое использует NetworkManager.