Update to Linux 3.4.13