Paolo - I've pushed a couple of to Saucy patches that change the compiler for armhf to gcc-4.7. Please build a 3.10 kernel using both compilers and try it out on something that ought to work with saucy. rtg -- Tim Gardner tim.gardner at canonical.com