anchor.diff:                        + " -drive if=pflash,format=raw,unit=1,file=$efiVars");
           }
           ''
  -          # Create a /boot EFI partition with 40M and arbitrary but fixed GUIDs for reproducibility
  +          # Create a /boot EFI partition with 60M and arbitrary but fixed GUIDs for reproducibility
             ${pkgs.gptfdisk}/bin/sgdisk \
               --set-alignment=1 --new=1:34:2047 --change-name=1:BIOSBootPartition --typecode=1:ef02 \
               --set-alignment=512 --largest-new=2 --change-name=2:EFISystem --typecode=2:ef00 \
  
positive.code: 
    drivesCmdLine = drives: concatStringsSep " " (imap1 driveCmdline drives);
  
    # Creates a device name from a 1-based a numerical index, e.g.
    # * `driveDeviceName 1` -> `/dev/vda`
    # * `driveDeviceName 2` -> `/dev/vdb`
  
negative.code:   addDeviceNames =
      imap1 (idx: drive: drive // { device = driveDeviceName idx; });
  
    efiPrefix =
      if (pkgs.stdenv.isi686 || pkgs.stdenv.isx86_64) then "${pkgs.OVMF.fd}/FV/OVMF"
      else if pkgs.stdenv.isAarch64 then "${pkgs.OVMF.fd}/FV/AAVMF"
      else throw "No EFI firmware available for platform";
    efiFirmware = "${efiPrefix}_CODE.fd";
    efiVars = "${efiPrefix}_VARS.fd";
  
  