A lightly tweaked stock kernel for Nexus 7 2012 (grouper/tilapia) devices