Это мы сейчас говорим про проект tsconf-wxeda, ветка master, правильно?
Потому как speccy-wxeda - там нужно отдельно смотреть, кажется загрузчик с SD-карточки был корректно реализован в ветке zpu_loader, и я не уверен, какая ветка актуальная для этого проекта.