Re: Bug fixer kernel disappears from repository