Update Linux kernel from 3.4.92 to 3.4.93