В общем, собралось ядро. Всего-то за 40 минут. И даже модули драйверов компилируются. Красота!

Осталось надеяться, что версии компиляторов одинаковые и все, что я тут насобирал пойдет потом на девайсе. :-)