Base/kernel upgrade basically works.  I am not sure if we should
immediately trigger the reboot in this case.  OTOH, some might
ignore the obvious reason to boot the new kernel that had just
been aqcuired.  At least it's stable now and not easily killable
through the GUI reload anymore.  :)