I could get your PKGBUILD (from https://github.com/archlinuxarm/PKGBUILDs/tree/master/core/linux-imx6-cubox-dt) after some small chnages working for a wandboard quad. The VPU is indeed working correctly, that helps me a lot. I will have to patch some minor items (probably only the device tree) to get some of the other wandboard functionality working as well.
@hansan, this was looking very promising from what you've posted so far. Having a kernel that could successfully reboot without power-cycling would be a huge improvement! Were you able to make further progress on this?
@pepedog, thanks. I am now running 3.14.14-1 on my Wandboard dual lite, built from the PKGBUILD at https://github.com/CrawX/PKGBUILDs/tree ... -wandboard. Seems to run fine, but with a residual issue that BCM4329 WiFi doesn't come up after a reboot. I understand you to be working on a 3.14 kernel for general use and I am hoping to use that eventually.