device names are all kernel and udev. nothing to do with network manager. if you want to get predictable interface names, set up udev rules appropriately. https://www.kernel.org/pub/linux/utils/kernel/hotplug/udev/udev.html