keep rcv_adv in synch with rcv_nxt