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.