mi sono compilato un nuovo kernel e mi trovo con il nuovo_kernel_image.deb da installare: come procedere al meglio per poter tornare al vecchio kernel nel caso che il nuovo non funzioni a dovere? saluti Marco