Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 4cb938b258b09826775b0c0370b0e7b938af51fb)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 4a99c57264641256276aa600fa94703477cdf4d5)
@@ -112,5 +112,5 @@
 		panic("Could not find first cpu.");	
 
-	freq_prop = ofw_tree_getprop(cpu_node, "clock-frequency");
+	freq_prop = ofw_tree_getprop(cpu_node, "timebase-frequency");
 	if (!freq_prop)
 		panic("Could not get frequency property.");