I rebooted a few more times, to get more statistics, and NetworkManager does not always choose the same device: sometimes it chooses one, sometimes the other Ethernet card.
I rebooted a few more times, to get more statistics, and NetworkManager does not always choose the same device: sometimes it chooses one, sometimes the other Ethernet card.