Drop get-nix-kconfig.py (`nix-build get-nixos-kconfig.nix` does the job)