K1OM: fix build with the introduction of hwid_t

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/kernel/arch/k1om/startup_arch.c b/kernel/arch/k1om/startup_arch.c
index 197c5bd..85090cc 100644 (file)
--- a/kernel/arch/k1om/startup_arch.c
+++ b/kernel/arch/k1om/startup_arch.c
@@ -494,7 +494,7 @@ struct dcb *spawn_app_init(struct x86_core_data *core_data, const char *name)
 
     // Arch id of the core that booted this core
     char archidchar[30];
-    snprintf(archidchar, sizeof(archidchar), "archid=%d",
+    snprintf(archidchar, sizeof(archidchar), "archid=%" PRIuHWID,
              core_data->src_arch_id);
 
     const char *argv[] = { name, coreidchar, chanidchar, archidchar };