uboot: allow bigger kernels to boot on raspberry pi (#108975)

Fixes #97064
2021-01-11 02:41:26 +01:00
parent bd4c31411e
commit a315a1503a
2 changed files with 33 additions and 1 deletions
@@ -40,7 +40,9 @@ let

    src = if src == null then defaultSrc else src;

-    patches = extraPatches;
+    patches = [
+      ./0001-configs-rpi-allow-for-bigger-kernels.patch
+    ] ++ extraPatches;

    postPatch = ''
      patchShebangs tools