Okay so then we have some issues here
This is clearly wrong since these packages come from upstream Debian and cannot/will not work with Armbian kernels. This shall be reported here: https://github.com/armbian/configng/
Then you were lucky some working headers were present
Or in very short:
git clone the repo
./compile.sh BOARD=rockpi-4bplus BRANCH=current kernel
Check output/debs for your packages
Install via dpkg -i on the target board