The matching contribution made to your account in the federal TSP is an employer contribution and does not in any way factor into the contributions that you are permitted to make to the solo 401(k). Employer contributions are subject to per-plan limits, not per-individual limits.
