Мой обходной путь на данный момент - создать умный плейлист, который будет содержать «первые 7.5 Гб» моей музыки. Я перетаскиваю этот плейлист в плеер, затем перетаскиваю оставшуюся часть моей музыки (начиная с последней песни в умном плейлисте) на карту microSD.
Это все еще довольно громоздко, поэтому, если у кого-то есть лучшее решение (которое позволяет автоматически синхронизировать), пожалуйста, опубликуйте его!