Solução adequada para erro "No such file stdarg.h"

Question

Quando tento compilar um driver wifi rtl8723au para meu laptop , mas continuo recebendo o seguinte erro:

./include/linux/kernel.h:6:10: fatal error: stdarg.h: No such file or directory

Minha solução atual é adicionar diretório ao compilador incluindo o caminho como este:

/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.0/include/

Mas é uma solução muito ruim, porque eu tenho que mudar a versão do compilador ( 8.1.0 no exemplo acima) depois de cada vez que o compilador atualiza. Qual é a solução adequada para este problema?