During boot, I get: info: [drm] Initialized drm 1.1.0 20060810 but there is no /dev/dri. Do I have to find a knob in an xorg config in ports to enable building in DRI support?