Kernel binaries build from https://github.com/linux-sunxi/linux-sunxi
for Olinuxino A13 and A20 devices.