Ссылка на одно, а собираете явно не тем, чем там советуется - Mbed , поэтому или сборщик допилите или собирайте тем, что в мануале... тогда проблем не будет.
Я "быстро смотрел" этот SoC, вроде в email уже писал - там есть features, так вот я в makefile их вообще нигде не добавлял, надо сделать их выбор и указать что подключать для компиляции (тот же LwIP) или просто указать необходимые, а дальше уже по ошибкам смотреть... не собирал примеры с WiFi, но с Mbed они должны собираться.