Assuming 3.5G instructions per second, that's approximately 1000 instructions per SYN, which includes parts of the NIC's driver and lower-level processing (e.g. interrupts) too. It would be interesting to see a breakdown of how many instructions are spent in which parts of the stack.