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