Re: The nodebug repo doesn't have a kernel today