Разобрался таки с MQX. Запилил простенький бенчмарк RTCS TCP/IP-стека: по TCP выдает полтора мегабита, чота маловато. Алсо, у меня вообще подозрение, что камень крутится на половинной частоте: уарт, работающий системной консолью вместо прописанных в BSP 115200 болтает на 57600 и _time_delay(1000) делает задержку в две секунды вместо одной, дерганье переключалок на борде в разные стороны не меняет вообще ничего, прозреваю баг в оном BSP, надо будет потыкать чем-нибудь штоле. Пора домой.