Grazie!
Ma con quale estensione devo compilare il kernel?