[PATCH v8 4/9] x86: Allow devices to write ACPI tables