is there a C func that can check kernel config file?