Patch kernel to 3.4.80

Change-Id: Ibcac01691d06336d77f6b24dde21d4ac2df7dc5b