Are you sure with the clock speeds? In fact, it's kinda hard to get official infos about that in my opinion.
But sure yout might have better sources. I'm just wondering wheter the mariko models could become something similar to a switch "pro" with the help of sys-clk in CFWs someday.
But if...