Fix core28 updater kernel version