Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision 753d8515dfafce94cdf184d68aa5c942525400db)
+++ kernel/generic/src/main/version.c	(revision af75db9fdbb9f2e14570ad6b7f62a59e4155cd9c)
@@ -35,13 +35,14 @@
 #include <main/version.h>
 #include <print.h>
+#include <macros.h>
 
 char *project = "SPARTAN kernel";
-char *copyright = "Copyright (c) 2001-2008 HelenOS project";
-char *release = RELEASE;
-char *name = NAME;
-char *arch = ARCH;
+char *copyright = "Copyright (c) 2001-2009 HelenOS project";
+char *release = STRING(RELEASE);
+char *name = STRING(NAME);
+char *arch = STRING(KARCH);
 
 #ifdef REVISION
-	char *revision = ", revision " REVISION;
+	char *revision = ", revision " STRING(REVISION);
 #else
 	char *revision = "";
@@ -49,5 +50,5 @@
 
 #ifdef TIMESTAMP
-	char *timestamp = " on " TIMESTAMP;
+	char *timestamp = " on " STRING(TIMESTAMP);
 #else
 	char *timestamp = "";