Android kernel source code for Allwinner/Boxchip A10 (sun4i)