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