diff --git a/src/system/boot/loader/elf.cpp b/src/system/boot/loader/elf.cpp
index 0337396538..c871142d3d 100644
--- a/src/system/boot/loader/elf.cpp
+++ b/src/system/boot/loader/elf.cpp
@@ -25,12 +25,15 @@
 #endif
 
 
-static bool sLoadElfSymbols = false;
+static bool sLoadElfSymbols = true;
 
 
 void
 elf_init()
 {
+// TODO: This cannot work, since the driver settings are loaded *after* the
+// kernel has been loaded successfully.
+#if 0
 	void *settings = load_driver_settings("kernel");
 	if (settings == NULL)
 		return;
@@ -38,6 +41,7 @@ elf_init()
 	sLoadElfSymbols = !get_driver_boolean_parameter(settings, "load_symbols",
 		false, false);
 	unload_driver_settings(settings);
+#endif
 }