Galaxy Nexus JellyBean Kernel