Push kernel version number