No hay respuesta a algunos paquetes SYN cuando las marcas de tiempo están habilitadas

Tengo un servidor TCP que escucha en una máquina ("el servidor") que ejecuta Ubuntu 12.04.3 (kernel 3.8.0-31-generic). Recibe conexiones de 2 máquinas cliente diferentes. La máquina A ejecuta Ubuntu 12.04.4 (3.11.0-17-generic) y la máquina B ejecuta Ubuntu 11.10 (3.0.0-32-server). Si las marcas de...