Driver (88xxau/8812au) for Alfa AWUS036AC/AWUS036ACH won't compile [Required Rock64's modpost to solve]

Your comment was very helpful.
I ran into this problem when I first received my Rock Pi as shown by my post from 2019,

and had forgotten.

file /usr/src/linux-headers-4.4.194-19-rockchip-g287ff75afc47/scripts/recordmcount
/usr/src/linux-headers-4.4.194-19-rockchip-g287ff75afc47/scripts/recordmcount: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=0610df3dcc846dfea7202b5038911829152c7685, not stripped

Your approach did not work for me.
make scripts
make: *** No rule to make target ‘scripts’. Stop.

The file-by-file method (involving only two binaries) did. To find what to fix, I compiled the driver manually. Then, I did the following.
mv recordmcount recordmcount-orig_x86-64
make recordmcount
cc recordmcount.c -o recordmcount
cd basic/
mv fixdep fixdep-orig_x86-64
make fixdep
cc fixdep.c -o fixdep

Now, I have run into another, different problem (which does not occur on my Rock64).
/home/rock/realtek-rtl88xxau-5.2.20.2~20180812/hal/rtl8812a/usb/rtl8812au_xmit.c: In function ‘upload_txpktbuf_8812au’:
/home/rock/realtek-rtl88xxau-5.2.20.2~20180812/hal/rtl8812a/usb/rtl8812au_xmit.c:443:61: warning: bitwise comparison always evaluates to false [-Wtautological-compare]
error, forbidden warning:rtl8812au_xmit.c:443
while ((rtw_read32(adapter, REG_PKTBUF_DBG_CTRL) & BIT23) == 1) {
^~
A web search suggests the problem may be with python, but both my Rock Pi and Rock64 have 2.7.

I do not (yet?) see anything relevant in the driver’s Makefile.