Fix CubieTruck's kernel configuration.