diff --git a/arch/x86/include/asm/processor.h b/arch/x86/include/asm/processor.h
index ca11b168f..8f42a5413 100644
--- a/arch/x86/include/asm/processor.h
+++ b/arch/x86/include/asm/processor.h
@@ -41,6 +41,7 @@
 #include <asm/apic.h>
 #include <asm/irqflags.h>
 #include <asm/pci.h>
+#include <asm/tss.h>
 
 #ifdef __cplusplus
 extern "C" {
diff --git a/kernel/tasks.c b/kernel/tasks.c
index dd97b5038..d4359be3e 100644
--- a/kernel/tasks.c
+++ b/kernel/tasks.c
@@ -37,7 +37,6 @@
 #include <hermit/syscall.h>
 #include <hermit/memory.h>
 #include <hermit/logging.h>
-#include <asm/tss.h>
 #include <asm/processor.h>
 
 /*