Очень может быть, что честно портированный проигрыватель не будет сильно быстрее, а то и наоборот. Да и по размеру музыки, как понимаю, различия небольшие. Правда тут нужно 4 Кб под буфер.