Linux/Android kernel for the Rockchip RK3066 SoC