kernel 3.4 for sunxi platforms