Allwinner releases kernel source code for A31 quad-core chip