Kernel for Nexus 4 (Mako), based on Semaphore