я сейчас, возможно, глупость сморожу, но если попробовать
С чего это глупость ? Если существует для этой arm железки ядро и его дают, то можно и попробовать ему это проделать. Тем более ему вроде как нужно только ядро и пользователь довольно опытен в вопросах командной строки. Я вчера на рабочий решил приткнуть debian позарившись на размер образа, но когда установщик пояснил, что DE не будет, я пошёл в отказ и мне вместе с xfce накачало обычной шняги. Пришлось чистить избавляясь от не нужных мне офиса, принтеров, браузера и т.д.
Так что Ваш совет вполне себе нормальный.