Android kernel sources for Allwinner/Boxchip A10 (Sun4i)