push kernel version

Change-Id: I0003dd5631cc86875a4b123450f8ec82752fdada