Eu encontrei uma solução, ou solução alternativa, para esse problema. O leitor de cartões neste laptop é um dispositivo USB3 e, como tal, propenso a alguns problemas no Linux. No entanto, descobri também que, se eu remover e iniciar o dispositivo USB3 do leitor de cartões em sucessão, ele será detectado e montado normalmente. Minha descoberta é baseada nas informações encontradas aqui:
Então, se eu executar um script contendo o seguinte:
#!/bin/sh
cd /sys/bus/pci/drivers/xhci_hcd
echo -n "0000:00:14.0" > unbind
echo -n "0000:00:14.0" > bind
o leitor de cartões é detectado e o cartão é montado normalmente. Eu encontrei o ID do dispositivo "0000: 00: 14.0" com "sudo lsusb -v".
O que não consegui fazer é que ele seja executado toda vez que o laptop sair da suspensão. Presumo que tenha que ser executado a partir do /etc/pm/sleep.d mas não consegui escrever um script de trabalho. Se alguém pudesse mostrar como eu posso escrever um script que é executado toda vez que o laptop recomeça contendo as três linhas de código, isso seria muito útil. No momento, simplesmente executo o script quando volto para recuperar o cartão SD.