I'm way behind. I haven't messed with my ROM or kernel in a long time now. Galaxy Nexus with an older version of GummyNex ICS and an older version of Lean Kernel. I was running Franco's kernel, but the last time I updated, I got lazy and never installed over it. I've been meaning to look back into it and see what Jelly Bean ROMs are up and running.