Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision bbe4828a2a07a9586dbf2f4b406cecb747e28b50)
+++ kernel/arch/ia64/src/ia64.c	(revision 3714e798ef2924b952664a38e4d79dd5605f73b8)
@@ -151,5 +151,5 @@
 	/* Set platform name. */
 #ifdef MACHINE_ski
-	platform = "pc";
+	platform = "ski";
 #endif
 #ifdef MACHINE_i460GX