Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision bb74e8ab450c497c614da15470f340fe9db12baf)
+++ HelenOS.config	(revision 4b8f1c34c25b81932a91b8e81daa5fcd3edea446)
@@ -49,6 +49,6 @@
 
 # Machine type
+@ "i460GX" i460GX chipset machine
 @ "ski" Ski ia64 simulator
-@ "i460GX" i460GX chipset machine
 ! [PLATFORM=ia64] MACHINE (choice)