Update to linux 3.12.5