Ho appena installato il kernel, liscio compilato.
cpu:0 PID:1 swapper. Strano, con il kernel 3.11 caricava regolarmente. Ciao