Esta informação não é gravada em qualquer lugar, tanto quanto eu sei. Mesmo se fosse, as informações podem não ser precisas se o arquivo for movido ou removido nesse meio tempo (o que explicaria por que ninguém implementou esse recurso).
Dado um nome de módulo foo
, modprobe -l foo
mostra qual arquivo seria carregado agora se o módulo foo
fosse solicitado. Mas se modprobe -o bar
foi usado para carregar um módulo, o nome do módulo padrão não é registrado, somente bar
.