XIA/Serval: fix close(2) on Serval sockets

This patch corrects the handling of state SAL_CLOSED,
which was being wrongly handled after the port of Serval to XIA.

A review of serval_sal_close() against tcp_close() was made to
check proper handling of other cases as well.

This patch drops dead code enclosured by define ENABLE_TCP_REPAIR.
XIA/Serval: fix most format issues

This patch fixes most format issues found by
scripts/checkpatch.pl on Serval's code.

Some issues are ignored because they are not problems.
For example, warning "line over 80 characters" for a long string
is not an issue.
Nevertheless, some issues were not ignored because they require
quite a change, for example warning
"Too many leading tabs - consider code refactoring".