build_kernel_deb.sh: use the correct defaults

build_kernel_deb.sh

@@ -85,8 +85,8 @@ case ${pureos_board} in
     ;;
   devkit)
     KERNEL_BRANCH="${KERNEL_BRANCH:-imx8-4.18-wip}"
-    KERNEL_REPO="${KERNEL_REPO:-https://source.puri.sm/Librem5/linux-next.git}"
-    DOT_CONFIG="${DOT_CONFIG:-librem5-devkit_defconfig}"
+    KERNEL_REPO="${KERNEL_REPO:-https://source.puri.sm/Librem5/linux-emcraft.git}"
+    DOT_CONFIG="${DOT_CONFIG:-librem5-evk_defconfig}"
     ;;
   \?)
     echo "unrecognized board type ${pureos_board}"