fix to generate config header file without the linux kernel