I was playing with this ROM for couple of days, running all kind of benchmarks and some games that show FPS. I don't know what "For Gaming" means, but the results I got are the same with CM 10.1.2, with very small variations. Included Devil kernel is very old (from Feb 2013), I was using extracted Devil (from Jul 2013). CyanCore kernel (modified Semaphore) from the same dev makes no difference in benchmark results.
- HTC Desire 601 LTE, JB Android 4.2.2 (main phone)
- Acer Iconia Tab A200, ICS Android 4.0.3 (games tablet)
- Samsung i896 Captivate, JB Android 4.2.2 (backup phone)