[infiniband] Use "%d" as format specifier for LIDs

Signed-off-by: Michael Brown <mcb30@ipxe.org>

src/net/infiniband/ib_pathrec.c

 	path->av.lid = ntohs ( pathrec->dlid );
 	path->av.sl = ( pathrec->reserved__sl & 0x0f );
 	path->av.rate = ( pathrec->rate_selector__rate & 0x3f );
-	DBGC ( ibdev, "IBDEV %s path to " IB_GID_FMT " is %04x sl %d rate "
+	DBGC ( ibdev, "IBDEV %s path to " IB_GID_FMT " lid %d sl %d rate "
 	       "%d\n", ibdev->name, IB_GID_ARGS ( dgid ), path->av.lid,
 	       path->av.sl, path->av.rate );
 

src/net/infiniband/ib_sma.c

 	       ( port_info->link_speed_active__link_speed_enabled & 0xf ) ) )
 		ibdev->link_speed_enabled = link_speed_enabled;
 	ibdev->sm_sl = ( port_info->neighbour_mtu__mastersm_sl & 0xf );
-	DBGC ( mi, "SMA %p set LID %04x SMLID %04x link width %02x speed "
-	       "%02x\n", mi, ibdev->lid, ibdev->sm_lid,
-	       ibdev->link_width_enabled, ibdev->link_speed_enabled );
+	DBGC ( mi, "SMA %p set LID %d SMLID %d link width %d speed %d\n",
+	       mi, ibdev->lid, ibdev->sm_lid, ibdev->link_width_enabled,
+	       ibdev->link_speed_enabled );
 
 	/* Update parameters on device */
 	if ( ( rc = ib_set_port_info ( ibdev, mad ) ) != 0 ) {