Upgrade to Linux 3.4.2