Hey, I'm trying to build my kernel with a patch right now, but the nix-build job does not use 100% CPU as expected, so I conclude that it doesn't work... 

I added the following snippet to my configuration.nix, is that correct?

```
  boot.kernelPatches = pkgs.lib.singleton {
    name = "Revert drm/i915/fbdev: Actually configure untiled displays";
    patch = ./patches/0001-Revert-drm-i915-fbdev-Actually-configure-untiled-dis.patch;
    extraConfig = "";
  };

```