@jock
I don't need the whole kernel, just the mn88472.ko per this kernel.
That's why I ensure the system has the kernel running, sources an headers for it,
then try to compile the minimum of it, following the dependencies, of course.
However,
vermagic of the pre-compiled modules, which came with the running kernel,
differ from the newly compiled ones (headers & sources obtained via armbian-config)...
And the box is not "in production", but a PoC still,
so I can start from scratch whenever I want...