Patch kernel to 3.4.71

Change-Id: Ib41cf064462ea9b8c4f6ebde7a9311cdded9162d