diff --git a/src/system/boot/platform/generic/video_blit.cpp b/src/system/boot/platform/generic/video_blit.cpp
index 56e45fb302..b42ebc77b9 100644
--- a/src/system/boot/platform/generic/video_blit.cpp
+++ b/src/system/boot/platform/generic/video_blit.cpp
@@ -6,12 +6,9 @@
  */
 
 
-#include "video.h"
-
 #include <arch/cpu.h>
 #include <boot/stage2.h>
 #include <boot/platform.h>
-#include <boot/menu.h>
 #include <boot/platform/generic/video.h>
 #include <boot/kernel_args.h>
 
diff --git a/src/system/boot/platform/generic/video_rle.cpp b/src/system/boot/platform/generic/video_rle.cpp
index 4708da077e..b108e7fdf2 100644
--- a/src/system/boot/platform/generic/video_rle.cpp
+++ b/src/system/boot/platform/generic/video_rle.cpp
@@ -6,8 +6,6 @@
  */
 
 
-#include "video.h"
-
 #include <arch/cpu.h>
 #include <boot/stage2.h>
 #include <boot/platform.h>
diff --git a/src/system/boot/platform/generic/video_splash.cpp b/src/system/boot/platform/generic/video_splash.cpp
index 532c856c7f..5b7db9ec21 100644
--- a/src/system/boot/platform/generic/video_splash.cpp
+++ b/src/system/boot/platform/generic/video_splash.cpp
@@ -6,9 +6,6 @@
  */
 
 
-#include "video.h"
-#include "mmu.h"
-
 #include <arch/cpu.h>
 #include <boot/stage2.h>
 #include <boot/platform.h>