Update Linux kernel from 3.4.99 to 3.4.100