sunxi A31 linux3.3 kernel