This is taken from a working build in which I compiled the aforementioned driver to make the wireless NIC work.
https://paste.armbian.de/ezunugazif
Note: My installation is not exactly vanilla, but the u-boot, kernel, dtbs, and most of the OS is still stock Armbian. I built a custom uInitrd to support my restartOS project, of which Armbian is the base for the embedded systems that I support.
Thanks,
-Pete