.config for running kernel