diff --git a/util/sconfig/main.c b/util/sconfig/main.c
index 2b1feda..9e44dc7 100644
--- a/util/sconfig/main.c
+++ b/util/sconfig/main.c
@@ -1923,6 +1923,7 @@
 
 static void generate_outputc(FILE *f, const char *static_header)
 {
+	fprintf(f, "#include <boot/coreboot_tables.h>\n");
 	fprintf(f, "#include <device/device.h>\n");
 	fprintf(f, "#include <device/pci.h>\n");
 	fprintf(f, "#include <fw_config.h>\n");