Kernel for Cubietruck