It does detect and use the tsenfg driver. It was the xserver that was probably the problem. I'll mention both codes to my friend who is having the trouble. Thanks...