Update to linux 3.12