Patch linux to 3.4.71 from kernel.org