[PATCH 4.9 01/25] dccp: fix undefined behavior with cwnd shift in ccid2_cwnd_restart()