Update to Linux 3.4.2