OpenBSD in a GPL violation?

Yenya writes: "In a message sent to OpenBSD developers as well as the linux-wireless and bcm43xx-devel lists, Michael Buesch, the main developer of the Linux bcm43xx driver for Broadcom WiFi devices, wrote:

[...]We believe that you might have directly copied code out of bcm43xx (licensed under GPL v2), without our explicit permission, into bcw (licensed under BSD license). There are implementation details in bcm43xx that appear exactly the same in bcw. These implementation details clearly don't come from the open specifications at bcm-specs.sipsolutions.net or bcm-v4.sipsolutions.net.

The bcm43xx driver is being developed as a clean room design, based on the reverse-enginered specs, created by another team. As it seems now, the bcw driver in question might just be removed from the OpenBSD source."