Antutu ran after the reboot, could be a memory leak or faulty driver. I know where to start at least, update coming soon.
What speed did you have max CPU set to for your score? That's about what I've been getting with the stock ZTE kernel. Maybe throttled?
Have you made any changes to voltage tables? Maybe undervolting would allow more overclock with less heat.
Also, I've been working a lot with Rockchip RK3288 devices over on the freaktab scene and some petty dramatic jumps in antutu scores have come from overclocking DDR and GPU, and leaving CPU relatively close to stock values.
Over there the oc has been applied a bit differently...since all of the Chinese manufacturers tend to keep their actual defconf and proprietary changes to themselves, despite GPL constraints, for the most part voltage and clock mods have been done through patching the actual hex values in binaries.
The Rockchip SDK is open source, it's the individual manufacturer's changes which they won't open up. PITA!
Also, for some reason Rockchip is making strange choices with sources. I don't know where I was going with that. Sleepy, lol. Anyway, they're focusing on chromium a lot. I don't foresee big market share there. I've been in contact with some people from the manufacturers requesting that arm/KVM host be added to the source and that seems to be happening, but without true defconfs for each platform a lot gets lost if you build generic kernels.
RK3288 has been integrated into mainline and current, but it doesn't do a lot of good when the GPU and VPU blobs are only at 3.10.
I'm rambling, gotta get some sleep. Way off topic, lol.
G'night. Cheers!
-SB