> Unless they need Linux GPU/WIFI/BT drivers to make things work, of course. Then it's fine.

The parts of Linux that get integrated into BSDs should not be GPL-licensed, e.g. <https://github.com/torvalds/linux/blob/c339f4010dea8b0d754f8...> and its siblings use MIT.