motley kernel for Nexus7 (Grouper)