Dan zul je wel 3.2.0-35 bedoelen. Die kernel versie kwam bij mij in Ubuntu 12.04 bij de updates binnen, op 19 december 2012. Hier heeft deze kernel versie geen problemen veroorzaakt. Als dat bij jouw wel het geval is, dan is dat hopelijk verholpen bij de volgende kernel update. De kernel updates zijn overigens wel belangrijk. Want het lijkt vaak te gaan, om beveiligingsupdates.