The new Opi board, using the popular rk3399 at a good price.
Has a debian image... not sure what kernel it uses.
Where to start ?
Well done!
I have added your patches with minor tweaks to the Armbian build system - it will be available in the images from the download area... at some point ;-)