Make AnyKernel work on Galaxy Nexus