Tentei pesquisar em packages.debian.org por "linux-image" na distribuição estável da arquitetura armhf.Veja aqui minha consulta exata. Não há resultados.
O Linux não está incluído no Debian para a arquitetura ARM? Por que não?
Por que não há kernel para a arquitetura armhf disponível nos repositórios Debian?