RK3188 kernel source (unofficial)