Проблему из RMI3O1 решаем сборкой тулчейна (make kernel-toolchain), после уже можно собирать ядро.