currently broken update issue with nodebug kernel

[Bruno Wolff III]

On Mon, May 05, 2014 at 15:13:53 -0600,
  Chris Murphy <lists at colorremedies.com> wrote:
>
>These nodebug kernels are not in koji then? The koji rawhide kernels are predominately (maybe exclusively) debug kernels, except for the git0 one build on Mondays.

Not as normal kernel builds. They might be in there as scratch builds. 
(Though recently the normal rc0 builds have been getting copied over 
without rebuilding, since those are nodebug builds and this saves some 
effort.)