Linux kernel for Rockchip RK3066 devices