Fix documentation of KILLING_TIMEOUT. #3470

It is not related to user-defined custom kill signals anymore.  It is
only for timing out on fast shutdown of the starter and reverting to
hard killing.