diff --git a/pkgs/os-specific/linux/kernel/builder.sh b/pkgs/os-specific/linux/kernel/builder.sh
index 46c30f3f3af1..246bafb748d3 100644
--- a/pkgs/os-specific/linux/kernel/builder.sh
+++ b/pkgs/os-specific/linux/kernel/builder.sh
@@ -125,6 +125,9 @@ installPhase() {
         includeDir=$out/lib/modules/$version/build/include
         mkdir -p $includeDir
         (cd include && cp -a acpi config linux math-emu media net pcmcia rxrpc scsi sound video asm-generic asm asm-$archDir $includeDir)
+	(cd arch/$archDir/include && cp -a * $includeDir || true)
+	(cd arch/$archDir/include && cp -a asm/* $includeDir/asm/ || true)
+	(cd arch/$archDir/include/asm/mach-generic && cp -a * $includeDir/ || true)
     fi
 }