You could also try talking to the people from Savannah, but that means you have to prove that LibertyBSD depends, recommends, and suggests only free software, all of these are generally done during registration of the project in Savannah. Or, if LibertyBSD is making some reverse engineering effort, you could have to prove to the people from Savannah that the result of the reverse engineering will be free software.
In BOTH CASES, it's best to ask them directly, as I don't represent them.
