A15 is about 40% faster than A9. That gives you about 3.5 DMIPS/MHz.
So what is the price on the T4240? We can go on and on the exact performance that gives one or the other the upper hand, it boils down what is cheap and powerful enough to make the average user happy. Now as far as OS4, I would prefer it to remain in PPCland.