Try using the kernel of the runner

Author: iddm

build-tools.Dockerfile

@@ -23,9 +23,6 @@ ARG BASE_IMAGE_SHA=debian:${DEBIAN_FLAVOR}
 ARG BASE_IMAGE_SHA=${BASE_IMAGE_SHA/debian:bookworm-slim/debian@$BOOKWORM_SLIM_SHA}
 ARG BASE_IMAGE_SHA=${BASE_IMAGE_SHA/debian:bullseye-slim/debian@$BULLSEYE_SLIM_SHA}
 
-# The kernel version which will be used for running the container.
-ARG KERNEL_VERSION=6.12.26
-
 FROM $BASE_IMAGE_SHA AS pgcopydb_builder
 ARG DEBIAN_VERSION
 
@@ -89,7 +86,6 @@ RUN if [ "${DEBIAN_VERSION}" = "bookworm" ]; then \
 
 FROM $BASE_IMAGE_SHA AS build_tools
 ARG DEBIAN_VERSION
-ARG KERNEL_VERSION
 
 # Add nonroot user
 RUN useradd -ms /bin/bash nonroot -b /home
@@ -113,6 +109,10 @@ RUN echo 'Acquire::Retries "5";' > /etc/apt/apt.conf.d/80-retries && \
 # 'gdb' is included so that we get backtraces of core dumps produced in
 # regression tests
 RUN set -e \
+    && KERNEL_VERSION="$(uname -r | cut -d'-' -f1 | sed 's/\.0$//')" \
+    && echo KERNEL_VERSION=${KERNEL_VERSION} >> /etc/environment \
+    && KERNEL_ARCH=$(uname -m | awk '{ if ($1 ~ /^(x86_64|i[3-6]86)$/) print "x86"; else if ($1 ~ /^(aarch64|arm.*)$/) print "aarch"; else print $1 }') \
+    && echo KERNEL_ARCH=${KERNEL_ARCH} >> /etc/environment \
     && apt update \
     && apt install -y \
         autoconf \
@@ -166,9 +166,12 @@ RUN set -e \
     && git clone --depth 1 --branch v${KERNEL_VERSION} https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git \
     && cd linux \
     && make mrproper \
+    && make modules_prepare \
     && make headers_install INSTALL_HDR_PATH=/tmp/kernel-headers \
     && mkdir -p /lib/modules/$(uname -r)/build \
-    && cp -r /tmp/kernel-headers/include /lib/modules/$(uname -r)/build/ \
+    && cd - \
+    && cd /tmp/kernel-headers \
+    && cp -a include arch/${KERNEL_ARCH}/include scripts Module.symvers .config Makefile /lib/modules/$(uname -r)/build/ \
     && rm -rf /tmp/kernel-headers \
     && cd - \
     && rm -rf linux