The nodebug repo has fallen behind

[Bruno Wolff III]

The last nodebug kernel was a copy of rc2.git0. Since then, git1, git2 and 
git3 kernels have been built for rawhide, but not for the nodebug repo.