This appears to be more than just a kernel header issue though.

The almost working, workaround, is to either symlink the linux-headers4.19.93-Re4son-v8+ directory to linux-headers-4.19.93-Re4son-v8l+ or move it to that name. Then go into /lib/modules/4.19.93-Re4son-v8l+ and create two symlinks to /usr/src/linux-headers-4.19.93-Re4son-v8l+ for "build" and "source"

Unfortunately, dkms sees it's aarch64 and isn't doing the conversion to being arm64, not sure where that regression comes from, so you have to make sure it's passing ARCH=arm64 and not ARCH=aarch64.

Oh, also, you'll need the app "bc" installed as well.

Is this realtek-rtl88xxau-dkms ?

if you've made the changes mentioned above... ARCH=arm64 make in the directory should give you a module at least.

Fixed in version 4.19.93-20200201.
Could you please run
"apt update && apt install kalipi-kernel-headers"
and let us know if that's working for you?

Many thanks

Hi !
Thank you, it worked as smooth as oil.
The apt install realtek-rtl88xxau-dkms
gave the known problem aarch64/arm64.
The latest aircrack-ng's driver installed with
no problem and it works perfectly.
Many thanks. Regard

This report has been filed against an old version of Kali. We will be closing this ticket due to inactivity.
Please could you see if you are able to replicate this issue with the latest version of Kali Linux (https://www.kali.org/downloads/)?
If you are still facing the same problem, feel free to re-open the ticket. If you choose to do this, could you provide more information to the issue you are facing, and also give information about your setup?
For more information, please read: https://kali.training/topic/filing-a-good-bug-report/