Does the notification area handle this event and tell the user that the kernel was automatically restarted.  No user action is required, but we should make sure to notify them at least.