Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision adec5b450420e754be2635ab4e7587f68c0a3287)
+++ kernel/arch/ppc32/src/ppc32.c	(revision fcc622441d5706c3fcd58ee0e93a8291d7a9abd7)
@@ -232,6 +232,4 @@
 		sysinfo_set_item_val("cuda.inr", NULL, IRQ_CUDA);
 		sysinfo_set_item_val("cuda.address.physical", NULL, pa);
-		sysinfo_set_item_val("cuda.address.kernel", NULL,
-		    (uintptr_t) cuda);
 #endif
 	}