Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision adec5b450420e754be2635ab4e7587f68c0a3287)
+++ kernel/arch/ppc32/src/ppc32.c	(revision e6a356ddf5598c4a1a144c71c5d89a9dfc76e73d)
@@ -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
 	}