Como muitas vezes encontrei minha resposta enquanto escrevia a pergunta. Postou para que os outros pudessem se beneficiar.
Acontece que o problema não era que o Linux não reconhecia o dispositivo, como eu pensava inicialmente, mas simplesmente que meu usuário não tinha permissões suficientes para acessar dispositivos USB em geral. Correndo
usermod -a -G vboxusers username
como sugerido pelo Virtualbox e, em seguida, efetuando login e logout, funcionou.