No, but the same dev builds the CM kernels. Stock-voltage 800MHz kernel, optimized for CM, unless I'm mistaken about the last part. I know the rest is true.
I wiped then flashed 6.0, flashed nightly build 165, rebooted, flashed kernrel 1100. Everything working fine, wifi, apps and all. Hope this helps someone.