Android kernel sources for Allwinner A10/Boxchip A10/Sun4i