кстати там гента по моему вообще ненужна. нужно брать build root у тех кто предоставляет дистр. если они такое делают, тогда это должно работать.
Имхо на пишке она как раз таки больше всего пригодится. Ибо ресурсов мало и оптимизация под архитектуру даст больше всего плюсов.
Хотя, конечно, можно и стандартный raspbian поставить.