С армами проблема в том, что нет единого способа/стандарта загрузки. Каждый производитель устройств придумывает что-то свое.
Для RPI2 lock-free ядро с кооперативной многодадачностью. По идее, получившийся kernel.img достаточно скопировать sd карту со стандартным(для rpi) загрузчиком.