Ha ragione andy, ultimamente su Debian Sid il compilatore di default è gcc-4.0 e se il kernel è stato compilato con un altra versione di gcc è ovvio che se compili dei driver con un gcc diverso da quello usato per compilare il kernel questi non funzionano, io ho avuto gli stassi problemi compilando i driver di nvidia e pwc, le soluzioni sono due o ricompili il kernel oppure cambi i link a gcc, cpp, g++