parlavo di quelli inseriti all'atto della compilazione,
nel file bzImage del kernel