dai un cd /usr/bin
poi un ls | grep gcc
ti da una cosa piu o meno cosi
gcc
gcc-3.3
gcc-3.4
gcc-4.0
dai un ls -ls gcc e guardi a cosa punta
ad esempio 2005-08-08 08:47 gcc -> gcc-4.
adesso punta al 4
dai semplicemente rm gcc
poi
ln -s gcc-3.3 gcc
cosi usa il gcc 3.3
una volta reinstallati i driver poi puoi rimettere gcc4 allo stesso modo
quell'errore del kernel sembra un errore di pessima configurazione meglio lasciarlo stare se è un precompilato