The "Restart Computer" button of gpk-update-viewer is actually working as intended, just session logout does not work.