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