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 436a0a5d2cce1b5f7720cb379a4bd818e1599d4d)
@@ -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 436a0a5d2cce1b5f7720cb379a4bd818e1599d4d)
@@ -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) {