rebase from 251f65f

not-os-patches/pr-33.patch

@@ -1062,13 +1062,13 @@ index 0000000..59aa585
 ++
 + #endif /*_LINUX_FPGA_MGR_H */
 diff --git a/zynq_image.nix b/zynq_image.nix
-index e2e3871..2decd54 100644
+index 9d1621e..012e50c 100644
 --- a/zynq_image.nix
 +++ b/zynq_image.nix
-@@ -18,6 +18,16 @@ let
-     };
-   };
-   customKernel = (crosspkgs.linux.override {
+@@ -3,6 +3,16 @@
+ with lib;
+ let
+   customKernel = (pkgs.linux.override {
 +    kernelPatches = [
 +      ({
 +        name = "xilinx-configfs-overlays";
@@ -1082,7 +1082,7 @@ index e2e3871..2decd54 100644
      extraConfig = ''
        OVERLAY_FS y
        MEDIA_SUPPORT n
-@@ -32,6 +42,7 @@ let
+@@ -17,6 +27,7 @@ let
        OF_FPGA_REGION y
        FPGA_MGR_ZYNQ_FPGA y
        OF_OVERLAY y