euh...

je vais peut être dire une connerie, mais c'est pas tout simplement les même kernel, mais juste compilés avec les symboles de deboguage ? Autrement dit, c'est normal qu'ils portent le même nom, c'est la variante debug pour chacun des kernels...