From 273d748d39533187276e96bf42c100e95d96cf77 Mon Sep 17 00:00:00 2001
From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Sat, 5 Mar 2022 14:02:10 +0100
Subject: [PATCH] put back the 4k kernel

---
 bootstrap.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index e6b5427..fa07bcb 100644
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -27,7 +27,8 @@ build_linux()
         cd linux
         git fetch
         git reset --hard origin/asahi; git clean -f -x -d &> /dev/null
-        curl -s https://tg.st/u/config-2022-03-04-16k > .config
+        curl -s https://tg.st/u/0001-4k-iommu-patch.patch | git am -
+        curl -s https://tg.st/u/config-2022-03-04-4k > .config
         make olddefconfig
         make -j `nproc` V=0 bindeb-pkg > /dev/null
 )
-- 
2.39.5