Update Linux kernel from 3.4.86 to 3.4.87