Index: src/boot/hardwaremain.c
===================================================================
--- src/boot/hardwaremain.c	(revision 4080)
+++ src/boot/hardwaremain.c	(working copy)
@@ -58,7 +58,7 @@
 	
 	post_code(0x39);
 
-	printk_notice("coreboot-%s%s %s %s...\n", 
+	printk_notice("coreboot-%s-r%s %s %s...\n", 
 		      coreboot_version, coreboot_extra_version, coreboot_build,
 		      (boot_complete)?"rebooting":"booting");
 
Index: src/config/Options.lb
===================================================================
--- src/config/Options.lb	(revision 4080)
+++ src/config/Options.lb	(working copy)
@@ -103,7 +103,7 @@
 	comment "coreboot version"
 end
 define COREBOOT_EXTRA_VERSION
-        default ""
+        default "$(shell if [ -x /usr/bin/svnversion ]; then /usr/bin/svnversion $(TOP); fi)"
         export used
 	format "\"%s\""
         comment "coreboot extra version"
Index: src/arch/i386/lib/console.c
===================================================================
--- src/arch/i386/lib/console.c	(revision 4080)
+++ src/arch/i386/lib/console.c	(working copy)
@@ -30,6 +30,7 @@
 	static const char console_test[] = 
 		"\r\n\r\ncoreboot-"
 		COREBOOT_VERSION
+		"-r"
 		COREBOOT_EXTRA_VERSION
 		" "
 		COREBOOT_BUILD