There is already a complete build environment based on work done by Linaro(RFS) and Rockchip(kernel).
I am not sure if it makes sense to re-invent the wheel ?
http://www.bitkistl.com/2016/09/the-rockchip-toolbox.html
Last week we got some performance patches from Willy Tarreau (you know - the cluster guy, build farm)
With that It was possible to run Kodi, smplayer and some webGL demo at the same time, I just used some of the patches (e.g.set cpu throttling to 80+)
http://1wt.eu/miqi/ https://forum.mqmaker.com/t/miqi-based-build-farm-finally-up-and-running/605/1
Demo Video:
https://youtu.be/DnHJckoxGJU
VPU acceleration for Kodi 17 is still WIP, Jacob Chen and Marc aka Mac_l1 started on that.
Kernel 4.10+ is available from another guy. https://forum.mqmaker.com/t/mainline-kernel-compilation/572 https://github.com/Miouyouyou/MyyQi
Anyway I will ask Benn about your proposal for some MiQis :-)
Thank You,
Peter