Galaxy Nexus kernel originated from CM10.1 repo @ https://github.com/CyanogenMod/android_kernel_samsung_tuna/commits/cm-10.1