The Linux kernel for Nexus 7 2013 model