Replace use of base/snprintf.h by format library

Issue #2064

repos/dde_ipxe/recipes/src/ipxe_nic_drv/used_apis

@@ -2,6 +2,7 @@ base
 nic_driver
 nic_session
 os
+format
 platform_session
 report_session
 timer_session

repos/dde_ipxe/src/drivers/nic/target.mk

@@ -1,6 +1,6 @@
 TARGET   = ipxe_nic_drv
 REQUIRES = x86
-LIBS     = base dde_ipxe_nic nic_driver
+LIBS     = base dde_ipxe_nic nic_driver format
 SRC_CC   = main.cc
 
 CC_CXX_WARN_STRICT =

repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc

@@ -39,6 +39,9 @@
 #include <util/retry.h>
 #include <util/reconstructible.h>
 
+/* format-string includes */
+#include <format/snprintf.h>
+
 /* local includes */
 #include <dde_support.h>
 
@@ -77,7 +80,7 @@ extern "C" void dde_vprintf(const char *format, va_list list)
 	using namespace Genode;
 
 	char buf[128] { };
-	String_console(buf, sizeof(buf)).vprintf(format, list);
+	Format::String_console(buf, sizeof(buf)).vprintf(format, list);
 	log(Cstring(buf));
 }