Hi. Good news everyone linux kernel 3.1 finally boots on the GTA04. The last patch I pushed provided everything to boot your device with that kernel. I'll also push the updated defconfig now. -lev