rename linuxbios_* files, too.
[coreboot.git] / src / boot / elfboot.c
index cb8e1cf28d0c79822ec8fc80fbadb83742ff5164..f2c5975b11f79b03f5605b999a5cef79bc5e8f32 100644 (file)
@@ -2,7 +2,7 @@
 #include <part/fallback_boot.h>
 #include <boot/elf.h>
 #include <boot/elf_boot.h>
-#include <boot/linuxbios_tables.h>
+#include <boot/coreboot_tables.h>
 #include <ip_checksum.h>
 #include <stream/read_bytes.h>
 #include <stdint.h>