Eu baixei a imagem hard float de Raspbian aqui:

http://www.raspberrypi.org/downloads

Copiei a imagem de hard-float recomendada em um cartão SD e o Raspberry Pi inicializa bem com ela.

Então eu baixei a versão soft-float do Raspbian porque eu preciso disso para ter algum software rodando que não funcione na versão hard-float. Formatei o cartão SD novamente, copiei a imagem de soft-float para ele e tentei inicializar o Raspberry Pi com ele.

Problema: o Raspbery Pi não inicializa com a versão soft-float do Raspbian !! Eu vejo o LED verde "ACT" acender por menos de um segundo. Depois disso, apenas o LED vermelho de energia está aceso e nada acontece depois disso.

Repeti esse processo algumas vezes e fiz o download novamente das imagens, verifiquei o SHA do arquivo baixado, etc. Ele simplesmente não funciona. A imagem de disco rígido sempre é inicializada (a luz verde "ACT" pisca rapidamente como normal).

Alguma ideia?