So, your point doesn't hold up even for this case.
You cannot however mix GPL code into your BSD code and the resulting work as BSD.
That said, you're very close to the mark. GPL applies to distributions of the copyrighted work and executables based on it. So, the concern is around an OpenBSD release - they are shipping a full OS with source code and compiled work product. The GPL is "viral" in that you cannot make this release without licensing your whole distribution as GPL. OpenBSD does not want to be GPL, and so does not include GPL-ed code in base.
The inverse is not true. A Linux distribution can include GPL and BSD-licensed code easily, because the BSD license imposes no constraints on redistribution.
Copying BSD code and distributing it under another license (even a commercial one) seems to be totally OK though as long as you put in the correct notices.
That is what GPL is meant to protect against.
GPL enhances user freedom at the expense of restricting what programmers can do.
I fail to see how this is different from what I wrote above (except for the missing word in my post above):
> You cannot however mix GPL code into your BSD code and [distribute] the resulting work as BSD.
We are in verbose (and unnecessary on my part) agreement.
That is completely wrong, you cannot change the license at your will ESPECIALLY from BSD to a GPL. The BSD-Code stays BSD-licensed-code, you can include it into a GPL Project, but NOT change the License, doesn't matter if its from BSD to GPL or vice versa.
Since your not the owner of the code, you have absolutely NO right to change the license.