kde-workspace ksplash/desktop delay bug fix