[PATCH] build: Fix errors of TCP_REPAIR_* undeclared