I understand the predicament for lacking enough resources given the scope of the project and I don't expect things to work OOB without testing. I've updated the package list via apt and now I can see the headers package now for the current-rockchip-rk3588 Linux kernel (along with a the new linux-image .deb package). I have installed it and can confirm that dkms works fine to complile the WiFi dongle's driver - though it's not fully working yet, though this is purely a driver issue, not related to Armbian/Debian.