linux: add fpga support

not-os-patches/pr-28.patch

@@ -151,10 +151,10 @@ index c61f9d6..fbdf0fd 100644
    };
  }
 diff --git a/zynq_image.nix b/zynq_image.nix
-index 3fa23ab..727e3ef 100644
+index 3fa23ab..e2e3871 100644
 --- a/zynq_image.nix
 +++ b/zynq_image.nix
-@@ -1,66 +1,96 @@
+@@ -1,66 +1,102 @@
 -{ config, pkgs, ... }:
 +{ lib, config, pkgs, ... }:
  
@@ -187,6 +187,12 @@ index 3fa23ab..727e3ef 100644
 +      SOUND n
 +      SQUASHFS n
 +      BACKLIGHT_CLASS_DEVICE n
++      FPGA y
++      FPGA_BRIDGE y
++      FPGA_REGION y
++      OF_FPGA_REGION y
++      FPGA_MGR_ZYNQ_FPGA y
++      OF_OVERLAY y
      '';
 -  };
 -  customKernelPackages = pkgs.linuxPackagesFor customKernel;