Linux kernel update from 3.4.84 to 3.4.85