diff --git a/src/device/cpu_device.c b/src/device/cpu_device.c
index 613f1b9d3c..f48946f4a4 100644
--- a/src/device/cpu_device.c
+++ b/src/device/cpu_device.c
@@ -20,7 +20,6 @@
 
 #include <device/device.h>
 #include <console/console.h>
-#include <cpu/x86/lapic.h>
 
 device_t add_cpu_device(struct bus *cpu_bus, unsigned apic_id, int enabled)
 {