dccp: make upper bound for seq_window consistent on 32/64 bit