diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index 315b5f863d..0d1058eb06 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -258,7 +258,7 @@ namespace Kernel
 					Entry * find(unsigned long const object_id)
 					{
 						if (object_id == id()) return this;
-						Entry * const subtree = child(object_id > id());
+						Entry * const subtree = Avl_node<Entry>::child(object_id > id());
 						return subtree ? subtree->find(object_id) : 0;
 					}