Galaxy Nexus kernel originated from CM10.1 repo