severity 368477 normal thanks It is not definitely grave, gcc can generate kernels, without libc6-dev, so it is usable. IMHO, this bug should be simply closed. Petr