From a194ebb958e42b2292a4c12feef76cb32c6a1a05 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 5 Dec 2017 06:55:35 +0100
Subject: core/linux: copy over Makefile_32.cpu

---
 core/linux/PKGBUILD | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/linux/PKGBUILD b/core/linux/PKGBUILD
index 82d7f385..3fc497f5 100644
--- a/core/linux/PKGBUILD
+++ b/core/linux/PKGBUILD
@@ -12,5 +12,9 @@ eval "$(
   declare -f package_linux-headers | \
     sed '
       \,/tools/objtool" ,d
+      \,arch/x86/Makefile, {
+        a \
+        install -t "${_builddir}/arch/x86" -m644 arch/x86/Makefile_32.cpu
+      }
     '
 )"
-- 
cgit v1.2.3-70-g09d2