Merge branch 'defconfig' into 'master'

kernel: Process defconfig files

See merge request Librem5/image-builder!83

build/build_kernel_deb.sh

@@ -109,10 +109,11 @@ fi
 
 if [ ! -e .config ]; then
   echo "Configuring kernel"
-  if [ -e "arch/${ARCH}/configs/${DOT_CONFIG}" ]; then
-    cp "arch/${ARCH}/configs/${DOT_CONFIG}" .config
-  else
+  if [ -e "../${DOT_CONFIG}" ]; then
     cp "../${DOT_CONFIG}" .config
+    make "${MAKE_OPTS[@]}" ARCH="${ARCH}" CROSS_COMPILE="${CROSS_COMPILER}" oldconfig
+  else
+    make "${MAKE_OPTS[@]}" ARCH="${ARCH}" CROSS_COMPILE="${CROSS_COMPILER}" "${DOT_CONFIG}"
   fi
 fi