That worked, so I included it in the script.
I’m now able to compile and install the ax88179_178a driver without the help of Allo!
I might add the driver for this particular kernel build to my repo anytime soon, so it can be installed without the need to install all the other dependencies for compiling a driver.