Oh yes, good addition. General Midi / MT32 has a big impact on emulation speed, about 10-20%.
And make sure to set prebuffer=0 (pre-set in my .mgc file). Doesn’t impair sound emulation, and on my old Snapdragon 805, it gave a nice boost compared to the default prebuffer=15.