Eu tive o mesmo problema que você, embora o modelo de cartão seja diferente. No final, baixei o driver de ftp://x.org /pub/individual/driver/xf86-video-ast-0.91.10.tar.gz e construiu o driver a partir da fonte. FYI, eu tive que instalar o pacote xserver-xorg-dev antes que eu pudesse construí-lo com sucesso.