leanKernel: Minimalistic Kernel for Nexus 7