Update to kernel.org Linux 3.4.88