/* * Time to delay the ACK. This is initialized in tcp_init(), unless * its patched. */