diff --git a/src/cpu/x86/name/name.c b/src/cpu/x86/name/name.c
index a7d2c706e3..bf62aef298 100644
--- a/src/cpu/x86/name/name.c
+++ b/src/cpu/x86/name/name.c
@@ -1,9 +1,9 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <string.h>
 #include <arch/cpu.h>
-#include <device/device.h>
 #include <cpu/x86/name.h>
+#include <stdint.h>
+#include <string.h>
 
 void fill_processor_name(char *processor_name)
 {