Galaxy Nexus kernel originated from Google repo @ https://android.googlesource.com/kernel/omap/+/android-omap-tuna-3.0-jb-mr2