esiste da qualche parte una lista dei moduli compilati nel kernel come
built-in, simile a quella che c'e' in /proc/modules per i moduli caricati?