an optimized kernel for ouya gaming console