Update to 3.4.88 kernel source