il kernel sta li dove è
installandone uno nuovo si mette i suoi file in determinate cartelle che poi scegliendolo al boot carichera'