Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision a31aad1de032df3487df160244932e93f86d2cab)
+++ kernel/arch/ia64/src/ia64.c	(revision 476bf2f68be5e85a79c11886a78d22e7e8fed042)
@@ -144,5 +144,5 @@
 #endif
 #ifdef MACHINE_i460GX
-	platform = "i460GX";
+	platform = "pc";
 #endif
 	sysinfo_set_item_data("platform", NULL, (void *) platform,