android kernels based on 3.4.x