Dove in Linux vengono impostati i parametri del kernel che devono essere applicati all'avvio del sistema?