Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision 6f7071b562c845499c96c4a1354e9a5d3ce94a05)
+++ kernel/genarch/src/mm/asid_fifo.c	(revision be6e37a1450dc9ae009c1198f1541fa2c80b2a0c)
@@ -65,4 +65,10 @@
 #if (!FIFO_STATIC)
 	fifo_create(free_asids);
+	if (!free_asids.fifo)
+		panic("Not enough memory to allocate ASID FIFO");
+	// TODO: There really is no reason not to statically allocate it
+	//       except to keep binary size low. Once kernel is a regular ELF
+	//       binary supporting .bss section (wip as of the late 2018),
+	//       the dynamic option should be removed.
 #endif
 
Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision 6f7071b562c845499c96c4a1354e9a5d3ce94a05)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision be6e37a1450dc9ae009c1198f1541fa2c80b2a0c)
@@ -386,5 +386,7 @@
 static void ofw_tree_node_sysinfo(ofw_tree_node_t *node, const char *path)
 {
-	char *cur_path = (char *) nfmalloc(PATH_MAX_LEN);
+	char *cur_path = malloc(PATH_MAX_LEN);
+	if (!cur_path)
+		panic("Not enough memory to process OFW tree.");
 
 	for (ofw_tree_node_t *cur = node; cur; cur = cur->peer) {