We are not sure if it is CentOS, systemd in general, Network Manager in general or a stupid BIOS