I've ported CyanogenMod 13.0 to the HiKey board. I thought, why not use a more versatile Android... Porting was not as easy as expected, but after a while I was able to create a working build from sources. Actually, I'm impressed how smooth and fast CM works on HiKey. I'd say much smoother than stock AOSP.
In case anyone is interested, I'm going to put the device folder on GitHub (http://www.github.com/fonic) soon.