#include <asm/sfi.h>
#include <asm/mpspec.h>
#include <asm/tables.h>
+#include <asm/acpi_table.h>
u8 table_compute_checksum(void *v, int len)
{
rom_table_end = write_mp_table(rom_table_end);
rom_table_end = ALIGN(rom_table_end, 1024);
#endif
+#ifdef CONFIG_GENERATE_ACPI_TABLE
+ rom_table_end = write_acpi_tables(rom_table_end);
+ rom_table_end = ALIGN(rom_table_end, 1024);
+#endif
}