Does anyone know a video card with DVI (digital for LCD monitors) output that will work under Linux? What brand/model?