push kernel version

Change-Id: Ibf1f1977b4afe0efb968b537668186131d837470