Some where in System Setup → DisplayPort Version
But can you try using grub instead of systemd? (newbie) Unable to change the screen resoultion using xrandr - #7 by axolotlKing
just change this in your config:
#delete that
boot.loader.systemd-boot.enable = true;
boot.loader.efi.canTouchEfiVariables = true;
#add this:
boot = {# Bootloader
loader = {
efi.canTouchEfiVariables = true;
grub ={
enable = true;
device = "nodev";
efiSupport = true;
useOSProber = true;
};
};
};