Jenkinsfile : pass DOT_CONFIG though

Jenkinsfile

@@ -7,6 +7,7 @@ node {
         string(name: 'board', defaultValue: "devkit", description: 'What board type to build for?')
         string(name: 'kernel_url', defaultValue: "https://source.puri.sm/Librem5/linux-emcraft", description: 'Which kernel repo should get built?')
         string(name: 'kernel_branch', defaultValue: "imx8-4.18-wip", description: 'Which kernel branch should get built?')
+        string(name: 'dot_config', defaultValue: "librem5-evk_defconfig", description: 'Which kernel config should get built?')
         string(name: 'build_type', defaultValue: "latest", description: 'What type of build is this?')
         string(name: 'publish', defaultValue: "false", description: 'Should the image get published?')
         string(name: 'MAKE_OPTS', defaultValue: "", description: 'extra make options')
@@ -16,7 +17,7 @@ node {
         git url: gitUrl, branch: branch
     }
     stage('Build kernel') {
-        sh "KERNEL_REPO=${kernel_url} KERNEL_BRANCH=${kernel_branch} MAKE_OPTS=${MAKE_OPTS} ./build_kernel_deb.sh -b ${board}"
+        sh "KERNEL_REPO=${kernel_url} KERNEL_BRANCH=${kernel_branch} MAKE_OPTS=${MAKE_OPTS} DOT_CONFIG=${dot_config} ./build_kernel_deb.sh -b ${board}"
     }
     stage('Publish') {
         if( "${params.publish}"=="true" ) {