nixpkgs/pkgs/os-specific/linux/kernel/builder.sh