How do we know if it installed properly, I didn't check the kernel name before the flash but it looks stock. Is this correct, and as you said apps are not showing the over clock.
I got a 6475 with no OC, forgot to do Antutu.
With the kernel I got: 6189 (I know quadrant can be inaccurate)
Sent from my HTC One XL using Tapatalk 2
EDIT: Got scores in the 7000's after some tweaking.
goo.im/devs/mlaws90 - hammerhead, flo, m7 builds
Primary Device: Nexus 5
ROM1: AICP v3.5 Nightly [04/07]
Tablet: Google Nexus 7 FHD
ROM1: ParanoidSaberDroid AOSPAL 4.2 Beta 3