Oh! I would hold my breath, because I backed this project: https://www.kickstarter.com/projects/bootlin/allwinner-vpu-s...

The bootlin group is a awesome collection of embedded linux engineers and they are well known if not one the top of the lines engineers for the Linux-Sunxi community.