/* This function is called from ipsec6_hdrsize_tcp(), * and maybe from ip6_forward.() */