{
  boot.kernelPatches = [{
    patch = ./i915-dp-hdmi-always-full-color.patch;
    name = "i915-always-full-color";
  }];
}