diff --git a/headers/private/kernel/boot/platform.h b/headers/private/kernel/boot/platform.h
index 60442a6ce2..c251b5f2c5 100644
--- a/headers/private/kernel/boot/platform.h
+++ b/headers/private/kernel/boot/platform.h
@@ -7,7 +7,7 @@
 
 
 #include <SupportDefs.h>
-#include <list.h>
+#include <util/list.h>
 
 
 struct stage2_args;