I am unable to post within the Developer section, even though I am a dev. lol. I just to let you guys know that this new kernel does work with Android Run Time (ART) and Dalvik (JIT.) I have seen roughly a 35-45% increase in performance with Quadrant Standard's bench marking software. Give it a try, you can access it under your Dev options. Remember though, it will take a bit to convert all your apps over so they can utilize ART .
Sorry if this is in the wrong place, but this is information that needs to be put out for fellow S3 users.
happy flashing, and good luck everyone!