Kernel for the CubieTruck with working WiFi