tcp: further cleanup old options

They all were experimental and some comments refer to internal Netflix
versions. There is not reason to leak that into the header. Style unused
options so that they have the available value aligned with really used
values.

Reviewed by: tuexen
Differential Revision: https://reviews.freebsd.org/D46779