Ищите информацию по запросу "как обновить ядро в debian", только репозитории их добавлять не требуется, просто обновите информацию о пакетах и далее по инструкции, смотрите доступные ядра и устанавливаете нужное вам, после перезагрузки загружаетесь с нового ядра, если всё устраивает-...