Acabei de encontrar uma solução. Foi um Bug do Kernel listado aqui
O que quer que tenha causado este bug foi corrigido na versão 3.12 do Kernel. Acabei de instalar o kernel V3.13 do PPA do kernel do Ubuntu
O leitor de cartões funciona bem agora: -)