config/hosts/jericho/extras/i915-dp-hdmi-always-full-color-patch.nix

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