dai log che hai allegato si vede chiaramente che utilizza gli header del kernel 3.8.0-34-generic (quello della 13.04)
se hai la 12.04 c'è qualcosa che non va, dovresti avere il kernel 3.2 (io ho la ver. 3.2.0-57-generic)
Per caso hai installato degli header a mano?
