Do you all think you could package up the DRI kernel modules from the x source tree? I don't even know where to get them.