Bom dia. Dei uma lida a respeito, mas não encontrei uma informação: onde fica o arquivo de dispositivo que representam essas interfaces de rede? Ou são implementadas no kernel?
Sim, é feito em tempo de boot, pelo simples fato de que uma placa qualquer, incluindo as network cards, pode ser trocada a qualquer momento, então a cada vez que reinicia o sistema o kernel fará essa descoberta de hardware.
Tanto é assim que como claramente está dito naquele link que lhe passei (Predictable Network Interface Names), basta informar um parâmetro na cmdline de boot para que o sistema use o modo antigo:
net.ifnames=0
Isso é muito fácil de testar, use o "nmcli d" antes e depois e observe o resultado.
Se tiver mesmo muito e profundo interesse no assunto o link do código fonte também está lá.