Mein Workaround fürs Erste ist, eine intelligente Wiedergabeliste zu erstellen, auf der "die ersten 7,5 GB" meiner Musik gespeichert werden. Ich ziehe diese Wiedergabeliste auf den Player, und dann ziehe ich den Rest meiner Musik (beginnend nach dem letzten Lied in der intelligenten Wiedergabeliste) auf die microSD-Karte.
Es ist immer noch ziemlich umständlich, wenn also jemand eine bessere Lösung hat (eine, mit der ich automatisch synchronisieren kann), dann poste es bitte!