op_osupgrade: ask for reboot after kernel change