But also, fundamentally... Those modules are the device drivers, regardless of whether they're separable from the kernel. That's part of why they're organised under the drivers directory in the kernel source tree.