Исправление EXL, 24.12.15 17:52 (текущая версия) :
Разве ядро компилируется arm-none-eabi? Не arm-linux-eabi?
Хотя под RPi вроде уже собранный тулч есть.
Исходная версия EXL, 24.12.15 17:51: