The solution is to make an overlay.
The correct dts/dtb is the overlay mentioned in my response.
The method is to make a device tree overlay and compile it, then, in the armbianEnv.txt file, specify it for inclusion at boot. I'm afraid I don't have time to give you a tutorial on this at the moment, if you look at our build system you might be able to pick it up. You also need to recognize the differences between kernel versions, I'm uncertain if mboehmer was using a 4.x kernel.
This page http://www.linux-meson.com/doku.php?id=start
Says pwm works with modern kernels, so, simply enabling it should be sufficient in the device tree overlay, and making sure the driver is compiled with the kernel. If you are unable to do it, I may be able to by the end of the week, since it will benefit 3 boards. No promise though, I have quite a few projects I'm working on simultaneously.