diff --git a/src/kernel/main.cpp b/src/kernel/main.cpp
index 4bfbfee..f578c01 100644
--- a/src/kernel/main.cpp
+++ b/src/kernel/main.cpp
@@ -78,7 +78,7 @@ run_constructors()
 	void (**p)(void) = &__ctors;
 	while (p < &__ctors_end) {
 		void (*ctor)(void) = *p++;
-		ctor();
+		if (ctor) ctor();
 	}
 }
 
@@ -126,7 +126,6 @@ kernel_main(args::header *header)
 	extern cpu_data g_bsp_cpu_data;
 	extern uintptr_t idle_stack_end;
 
-
 	cpu_data *cpu = &g_bsp_cpu_data;
 	kutil::memset(cpu, 0, sizeof(cpu_data));