linux: Update to 3.12.1 (close #1281)