Puma kernel for Galaxy Nexus