Usa linux 3.4 su virtux per compatibilita' con BLCR

La 3.4 e' la versione piu' recente del kernel supportata da BLCR tra
quelle disponibili.
Merge branch 'master' of ssh://elio.math.unifi.it/~/Repos/Git/nixconfs