Semaphore kernel source for Nexus 4