diff --git a/payloads/libpayload/libc/console.c b/payloads/libpayload/libc/console.c
index 292cac9ca3..d5ad0e4605 100644
--- a/payloads/libpayload/libc/console.c
+++ b/payloads/libpayload/libc/console.c
@@ -27,6 +27,7 @@
  * SUCH DAMAGE.
  */
 
+#include <config.h>
 #include <libpayload.h>
 
 void console_init(void)
diff --git a/payloads/libpayload/libc/exec.c b/payloads/libpayload/libc/exec.c
index 888601dba8..ab0eb64222 100644
--- a/payloads/libpayload/libc/exec.c
+++ b/payloads/libpayload/libc/exec.c
@@ -27,6 +27,7 @@
  * SUCH DAMAGE.
  */
 
+#include <config.h>
 #include <libpayload.h>
 
 #ifdef CONFIG_TARGET_I386
diff --git a/payloads/libpayload/libc/time.c b/payloads/libpayload/libc/time.c
index b4dc9c60a9..a04534554c 100644
--- a/payloads/libpayload/libc/time.c
+++ b/payloads/libpayload/libc/time.c
@@ -27,6 +27,7 @@
  * SUCH DAMAGE.
  */
 
+#include <config.h>
 #include <libpayload.h>
 #include <arch/rdtsc.h>