Use whatever name you feel is appropriate for your kernel choice and remember it as you will need it later on when you configure your bootloader.
Nommez votre noyau comme bon vous semble, mais retenez le nom que lui donnez, car vous devrez l'utiliser quand vous configurerez votre chargeur de démarrage.