linux: switch to the 3.10 series.