Salve gente!

Stavo compilando questa nuova release del kernel linux(in più ho patchato i sorgenti con la patch per il bootsplash reperibile su www.bootsplash.de)ma la compilazione si è fermata a causa di un errore alquanto strano.

Sto utilizzando Debian Sid come sistema operativo, e la versione 4.0 di GCC(credo sia questo il problema). Durante la compilazione "debian-way", la console mi restituisce questo output:

codice:
fs/direct-io.c: In function 'do_direct_IO':
fs/direct-io.c:928: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-4.0/README.Bugs>.
make[2]: *** [fs/direct-io.o] Error 1
make[1]: *** [fs] Error 2
make[1]: Leaving directory `/usr/src/linux-2.6.12'
make: *** [stamp-build] Error 2
Leggendo qualche post in questo forum ho notato che a molti son capitati problemi strani nella compilazione a causa del nuovo Gcc

Ci sarebbe un modo per utilizzare una versione vecchia del compilatore?(ho notato che sulla mia macchina ho installate sia la 4.0 che la 3.3).

Grazie mille anticipate