Patch kernel to 3.4.88

Change-Id: I5e47d8c47bfd5e73b46f2f9e90be18b6f3062c74