Direct Rendering Manager headers and kernel modules