linux: switch to 3.12 by default (latest longterm)

Close #2151.