Latest public (as of May 2013) Rockchip kernel source. Updated to work with Picuntu Linux (more stable) on RK3066 - View it on GitHub