Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision f238e86a305ceb15005422c1105e13fd7fac1881)
+++ kernel/generic/src/main/version.c	(revision b4655da89eb65d1571b8afdfdbbb34449add2ef7)
@@ -58,5 +58,4 @@
 void version_print(void)
 {
-	asm volatile ("sethi 0x41923, %g0");
 	printf("%s, release %s (%s)%s\nBuilt%s for %s\n%s\n",
 		project, release, name, revision, timestamp, arch, copyright);
