Alright, I have the issue fixed, Mali frequency is correct per the opp table, and can be changed using the proper echo's.   The culprit, I believe, was the rockchip kernel having mali400 enabled by default. (this was true of the old kernel as well, I disabled it, but it kept showing up selected in other kernels so I left it alone here) In any case, this violated the dependencies of the devfreq driver.  I also enabled all the various governors (no powersave, I'll check again):  Found it