Update ib interface name in xeon02

It seems to be plugged in another PCI port

xeon02/configuration.nix

@@ -17,7 +17,7 @@
       address = "10.0.40.2";
       prefixLength = 24;
     } ];
-    interfaces.ibp5s0.ipv4.addresses = [ {
+    interfaces.ibp129s0.ipv4.addresses = [ {
       address = "10.0.42.2";
       prefixLength = 24;
     } ];