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