@@ -38,11 +38,11 @@ in
3838 default = pkgs.linuxPackages;
3939 type = types.unspecified // { merge = mergeEqualOption; };
4040 apply = kernelPackages: kernelPackages.extend (self: super: {
41− kernel = super.kernel.override {
41+ kernel = super.kernel.override (originalArgs: {
4242 inherit randstructSeed;
43− kernelPatches = super.kernel.kernelPatches ++ kernelPatches;
43+ kernelPatches = (originalArgs.kernelPatches or []) ++ kernelPatches;
4444 features = lib.recursiveUpdate super.kernel.features features;
45− };
45+ });
4646 });
4747 # We don't want to evaluate all of linuxPackages for the manual
4848 # - some of it might not even evaluate correctly.