Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 9fe7d6c017059754255cdf56efc55c87ed2e5241)
+++ kernel/Makefile	(revision 662bd71c6b5b4811d54aad7632d9f3ddc5022357)
@@ -90,5 +90,5 @@
 endif
 
-DEFS = -DKERNEL -DRELEASE=$(RELEASE) "-DNAME=$(NAME)" -D__$(BITS)_BITS__ -D__$(ENDIANESS)__
+DEFS = -DKERNEL -DRELEASE=$(RELEASE) "-DCOPYRIGHT=$(COPYRIGHT)" "-DNAME=$(NAME)" -D__$(BITS)_BITS__ -D__$(ENDIANESS)__
 
 GCC_CFLAGS = -I$(INCLUDES) -O$(OPTIMIZATION) -imacros $(CONFIG_HEADER) \