Stock kernels for I930x, N710x, P31xx