Я попробовал поискать на packages.debian.org «linux-image» в стабильном дистрибутиве для архитектуры armhf.Точный ответ на мой вопрос см. здесь. Результатов нет.
Linux не включен в Debian для архитектуры ARM? Почему?
Почему в репозиториях Debian нет ядра для архитектуры armhf?