the configuration file for kernel buld