[WIP] Fixes for the build so it enables the config options (IKHEADERS)

Author: bryanfoley

build.sh

@@ -261,8 +261,8 @@ kernel_build_command()
     fi
 
     cp "${KCONFIG}" "${KERNEL_BUILD_DIR}"/.config
-    ARCH="${ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" make -C "${LINUX_SRC_DIR}" O="${KERNEL_BUILD_DIR}" olddefconfig
-    ARCH="${ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" make -C "${LINUX_SRC_DIR}" O="${KERNEL_BUILD_DIR}" "${@}"
+    ARCH="${ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" XZ=xz make -C "${LINUX_SRC_DIR}" O="${KERNEL_BUILD_DIR}" olddefconfig
+    ARCH="${ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" XZ=xz make -C "${LINUX_SRC_DIR}" O="${KERNEL_BUILD_DIR}" "${@}"
     cd "${SRC_DIR}"
     info_h3 "Finished compiling the Kernel"
 }

docker_env/Dockerfile

@@ -6,8 +6,9 @@ LABEL Maintainer="software-embedded-platform@ultimaker.com" \
 RUN apt-get update && \
     apt-get install -y \
         bc \
-    bison \
+        bison \
         bzip2 \
+        cpio \
         curl \
         device-tree-compiler \
         flex \
@@ -27,6 +28,9 @@ RUN apt-get update && \
         u-boot-tools \
         wget \
         xz-utils \
+        findutils \
+        gawk \
+        tar \
     && \
     apt-get clean && \
     rm -rf /var/cache/apt/*