Patch "xfrm: fix state migration copy replay sequence numbers" has been added to the 4.9-stable tree