Yes, we used your patch set (thank you!) ... I only tweaked configuration and add our packaging patches which you are welcome to adopt to your scenario or use as is. Default kernel packaging is strange / broken IIRC. Check this part for how we pack: https://github.com/igorpecovnik/lib/blob/master/common.sh#L252-L268
We have not much special knowledge around Rockchip boards ... yet. This is the first one and I was impressed on speed and kernel quality. I am sure there are problems but currently, I am aware of none
Our (4.10.x) kernel packages are accessible from repository beta.armbian.com:
apt install linux-image-dev-rockchip linux-headers-dev-rockchip linux-dtb-dev-miqi
Info how to add repository and key: https://www.armbian.com/kernel/
We will slowly continue on this path and hopefully contribute within our findings and experiences. I'll try to catch up and another person will join later on.