How does GPL code get ported to BSD?

Most of the common drm code and kernel gpu drivers are already MIT/X licensed for historical reasons, same goes for the Mesa GL and Xorg components.

https://github.com/openbsd/src/tree/master/sys/dev/pci/drm

I wonder if it's downloaded after installation, like nonfree codecs in many Linux distros