diff --git a/src/system/boot/platform/bios_ia32/smp.cpp b/src/system/boot/platform/bios_ia32/smp.cpp
index fcc1bb640b..8d8c868141 100644
--- a/src/system/boot/platform/bios_ia32/smp.cpp
+++ b/src/system/boot/platform/bios_ia32/smp.cpp
@@ -25,7 +25,6 @@
 
 #include "mmu.h"
 #include "acpi.h"
-#include "hpet.h"
 
 
 #define NO_SMP 0