Aparentemente, no Linux, a ID do dispositivo (conforme retornado por stat
syscall) para a interceptação de montagem teria o número principal 0; Um número menor não é fixo e até agora não encontrei uma maneira de mapeá-lo para um tipo de sistema de arquivos.