Update kernel version of ubuntu microkernel to 3.16.0-25-generic.
Update kernel version of ubuntu microkernel to 3.16.0-25-generic.

bbcyyb/on-tasks,AlaricChan/on-tasks,nortonluo/on-tasks,bbcyyb/on-tasks,nortonluo/on-tasks,AlaricChan/on-tasks