Claro que sim, caso contrário, muito hardware básico (por exemplo, adaptadores de rede) não funcionaria. A maior parte dele - tudo além de dois drivers HighPoint - é microcódigo.
Existe um mecanismo para construir o kernel sem ele - apenas defina WITHOUT_SOURCELESS em /etc/src.conf e reconstrua o kernel e o mundo. Como de costume, tudo está documentado na página de manual