diff --git a/src/include/stdarg.h b/src/include/stdarg.h
index c5a8cd8dbe..f55fcc3019 100644
--- a/src/include/stdarg.h
+++ b/src/include/stdarg.h
@@ -1,8 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 /**
- * Note: This file is only for POSIX compatibility, and is meant to be
- * chain-included via string.h.
+ * Note: This file is only for POSIX compatibility.
  */
 
 #ifndef STDARG_H
diff --git a/src/include/string.h b/src/include/string.h
index 92ea5e5f7f..4a06556d6d 100644
--- a/src/include/string.h
+++ b/src/include/string.h
@@ -3,7 +3,6 @@
 #ifndef STRING_H
 #define STRING_H
 
-#include <stdarg.h> /* IWYU pragma: export */
 #include <stddef.h>
 #include <stdio.h> /* IWYU pragma: export */
 
diff --git a/src/soc/amd/common/psp_verstage/psp_verstage.c b/src/soc/amd/common/psp_verstage/psp_verstage.c
index e71d75ac32..54945b9236 100644
--- a/src/soc/amd/common/psp_verstage/psp_verstage.c
+++ b/src/soc/amd/common/psp_verstage/psp_verstage.c
@@ -21,7 +21,6 @@
 #include <security/vboot/symbols.h>
 #include <security/vboot/vboot_common.h>
 #include <arch/stages.h>
-#include <stdarg.h>
 #include <timestamp.h>
 
 extern char _bss_start, _bss_end;