Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision 8ebe212533840cb545a4f768a0689f6940125144)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision 6ff23ff32c8aa9d6ad8d06f1743ca1b0d68c14bc)
@@ -348,5 +348,5 @@
 		return NULL;
 
-	void *dump = malloc(*size, FRAME_ATOMIC);
+	void *dump = malloc(*size);
 	if (dump == NULL) {
 		*size = 0;
@@ -386,5 +386,5 @@
 static void ofw_tree_node_sysinfo(ofw_tree_node_t *node, const char *path)
 {
-	char *cur_path = (char *) malloc(PATH_MAX_LEN, 0);
+	char *cur_path = (char *) nfmalloc(PATH_MAX_LEN);
 
 	for (ofw_tree_node_t *cur = node; cur; cur = cur->peer) {