[PATCH 07/40] efi: Correct call to write_acpi_tables()