This a Kernel for the Samsung Galaxy Nexus GSM