Так и сделал -- собрал из RaspberryPi, теперь могу писать через openocd, читать, подключаться через телнет. Сделал дамп всей памяти, собрал с СДК бинарник, но вот незадача, куда ни пишу его, ощущение, что от этого ничего не меняется.
Так что следующий вопрос, на какой адрес писать через...