К сожалению, пока пришлось прекратить попытки запустить этот стек из-за отсутствия времени и переключиться на более простой и понятный uIP. Выкладываю проект со своими потугами портирования. В нем содержится TNKernel и TNNet адаптированные для lpc1768.
Проект нормально собирается и запускается. Даже какие-то пакеты по сети проходят судя по логам Wireshark-а, но праздника первого пинга так и не получилось, к сожалению. Может быть кто-нибудь доведет до ума.
Скорее всего там проблема с прерываниями, я тут пока еще профан, т.к. АРМами плотно занимаюсь всего неделю.
Проект для Eclipse + GNU ARM Plugin + Sourcery GCC.