Android JB on BBB with SGX and Kernel 3.13 ?

Hi,

I have followed the great article from Andrew (http://icculus.org/~hendersa/android/) it works fine.
However I wanted to use SGX and since I see on Robert Nelson’s wiki (http://www.eewiki.net/display/linuxonarm/BeagleBone+Black#BeagleBoneBlack-LinuxKernel) that there is a 3.13 kernel with SGX support I wanted to use it in my BBB with Android.

I wonder if anyone has succeed using that kernel?