update to Linux 3.12.7