Descargué la imagen de hard float de Raspbian aquí:

http://www.raspberrypi.org/downloads

Copié la imagen de disco rígido recomendada en una tarjeta SD y la Raspberry Pi arranca bien con ella.

Luego descargué la versión soft-float de Raspbian porque la necesito para ejecutar algún software que no funcione en la versión hard-float. Volví a formatear la tarjeta SD, copié la imagen del soft-float e intenté arrancar la Raspberry Pi con ella.

Problema: ¡el Raspbery Pi no arranca con la versión soft-float de Raspbian! Veo que el LED verde "ACT" se enciende durante menos de un segundo. Después de eso, solo se enciende el LED de alimentación rojo y no pasa nada después de eso.

Repetí este proceso un par de veces y volví a descargar las imágenes, verifiqué el SHA del archivo descargado, etc. Simplemente no funciona. La imagen de flotación dura siempre se inicia (la luz verde "ACT" parpadea rápidamente como de costumbre).

¿Algunas ideas?