Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 0c91cff933f97a7076e264d09bcbd815027707cd)
+++ kernel/arch/ppc32/src/ppc32.c	(revision e190e640f73b310ae15f7fcc3a75485568c08978)
@@ -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.");