[IPSEC]: Fix bogus usage of u64 on input sequence number