connectez la carte SD à votre PC et rendez vous dans la partition boot de la carte (la seule accessible depuis Windows, normalement) pour éditer le fichier config.txt et rajouter à la fin du fichier la ligne suivante :

Sauvegardez le fichier, puis insérez la carte micro SD dans votre raspberry pi et démarrez la (insérez seulement la carte SD, pas la clef USB/disque dur). Normalement une fois démarrée, la raspberry pi va automatiquement se configurer pour à l’avenir démarrer sur la clé USB.

Pour vérifier que tout est bon, on peut regarder le registre 17 de l’OPT (One-Time programmable qui désigne la mémoire morte qui ne peut être programmée qu’une seule fois). Pour cela on utilise la commande suivante :

```vcgencmd otp_dump | grep 17

La raspberry pi doit nous retourner : 17:3020000a.

Comment palier au problème de montage de la carte SD du galaxy S2 avec la dernière mise à jour CM 10.1 ?

lancer terminal emulator et tapez:

su
echo mkdir /storage/sdcard0 > /data/local/userinit.sh
echo mkdir /storage/sdcard1 >> /data/local/userinit.sh
chmod 700 /data/local/userinit.sh
exit
exit

et redémarrer ;)

Merci Marcelo ;)