Ok, a questo punto devo copiare i file del kernel in quella cartella, il problema è che non so il comando da dare al terminale per copiare i file contenuti nella cartella, me lo potete dire?

PS: preciso che avrei utilizzato la funzione cerca su questo forum(vista la domanda banale) ma mi continua a dare un errore e perciò non riesco a cercare un bel niente...