Allwinner Releases Quad-Core A31 Kernel Source Code