Eu achei que se eu abrisse o
Aplicações > Som e Vídeo > Controle de volume do PulseAudio
e sob 'Configuração' mudou meu computador de 'Saída Estéreo Analógica' para 'Duplex Estéreo Analógico', o microfone foi reconhecido e agora funciona. Isso também resultou no
Sistema > Preferências > Som
caixa de configurações mostrando o microfone, enquanto ele não apareceu antes.