Проблема: у меня есть ядро (с iso), однако на этом iso нет kernel-debuginfo, я хочу создать сборку kernel-debuginfo для отладки проблем с ядром. Любые ссылки будут оценены.