[PATCH 5.15.y] mptcp: rename timer related helper to less confusing names