Galaxy Nexus kernel