anchor.diff:        CONFIG_USB_EHCI_GENERIC=y
         CONFIG_USB_XHCI_HCD=y
       '';
  -    extraPatches = [
  -      # https://patchwork.ozlabs.org/project/uboot/list/?series=268007&state=%2A&archive=both
  -      # Remove when upgrading to 2022.01
  -      (fetchpatch {
  -        url = "https://patchwork.ozlabs.org/series/268007/mbox/";
  -        sha256 = "sha256-xn4Q959dgoB63zlmJepI41AXAf1kCycIGcmu4IIVjmE=";
  -      })
  -    ];
       extraMeta.platforms = [ "i686-linux" "x86_64-linux" ];
       filesToInstall = [ "u-boot.rom" ];
     };
  
positive.code: , openssl
  , swig
  , meson-tools
  , armTrustedFirmwareAllwinner
  , armTrustedFirmwareAllwinnerH616
  , armTrustedFirmwareRK3328
  
negative.code:     defconfig = "rpi_3_32b_defconfig";
      extraMeta.platforms = ["armv7l-linux"];
      filesToInstall = ["u-boot.bin"];
    };
  
    ubootRaspberryPi3_64bit = buildUBoot {
      defconfig = "rpi_3_defconfig";
      extraMeta.platforms = ["aarch64-linux"];
      filesToInstall = ["u-boot.bin"];
    };
  
    ubootRaspberryPi4_32bit = buildUBoot {
  