rk3188 kitkat kernels