De acordo com o site abaixo, o problema é resolvido em grande parte no Maverick, mas "infelizmente há um bug no kernel, que impede a exibição do cursor do mouse em sistemas baseados no 855GM". Para estes, há um pacote dkms de correção rápida que você pode instalar.