Спасибо.

Я с гитхабом не работал. Зарегистрировался - буду разбираться по мере.
Как сделаю, что на пентеве в режиме 128 запустится ядро - так и форкну

Сейчас пилю загрузку по RS232. На скорости 115200 - это всего 5 сек и не надо с флешкой морочится. Для отладки удобно.