Upgrade to Linux 3.4.88