De acordo com os resultados da Pesquisa de Pacotes Debian , está disponível nos seguintes pacotes:
linux-image-3.11-2-iop32x
linux-image-3.11-2-ixp4xx
linux-image-3.11-2-kirkwood
linux-image-3.11-2-mv78xx0
linux-image-3.11-2-orion5x
linux-image-3.11-2-versatile
Se você estiver usando um kernel do armel diferente disso, você precisará usar o debsrc do linux para construa seu próprio pacote.