I didn't forget, I was just trying to gloss over that bit so the point looked nice and simple
But those are actually shipped as part of the kernel, not part of the drivers. This is a bit of a weird way of doing things, though. Still, it's an odd area, because the DRM stuff and the driver stuff is really quite separated. I know the openchrome developers say "we don't work on the DRM stuff or even really know much about it" when you ask them anything about 3D issues.