Por que não há kernel para a arquitetura armhf disponível nos repositórios do Debian?

Question

Eu tentei procurar o packages.debian.org por "linux-image" na distribuição estável para a arquitetura armhf. Consulte aqui minha consulta exata . Não há resultados.

O Linux não está incluído no Debian para a arquitetura ARM? Porque não?