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.
Primary Device: S-Off AT&T HTC One with MultiROM
ROM 1: SinLess GE v6.2.0 Android 4.4.2 KitKat 12-16
ROM 2: Beanstalk 4.4.200 - M7UL 12-18 4.4.2
ROM 3: Team Asylum OMNI Naughties 12-18
Tablet: Google Nexus 10 [32GB]
ROM: Official CyanogenMod 11 Android 4.4.2 KitKat 12-17