Fix kernel dev package