xorg-server: really disable dri if dri option is disabled.