Convert linux kernel kconfig generated config file to C header