Rockchip RK32xx quad-core chip coming in 2012