per passare un'opzione devo scrivere il nome del kernel e poi l'opzione?