Could you please post the line you believe correct for et131x_tx.c?

I have severe problems (dying system) with the 1.2.3-2 driver and have to test 1.2.3-3, but I need Tx, obviously ;-))