Explique comment démarrer le Raspberry Pi à partir d’une clé USB sous Arch Linux ARM pour améliorer les performances ou encore préserver la carte SD.