Update pkgs/top-level/linux-kernels.nix
Update pkgs/top-level/linux-kernels.nix

Co-authored-by: Martin Weinelt <78d139d9f0f26c36daeb4d1c83485c1d28c5f720@users.noreply.github.com>
NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs