Kernel for Galaxy Nexus (base)