Adding google kernel for Nexus 7, so we can modify makefile for 4.8 tools