[PATCH v2 22/39] x86: Allow devices to write ACPI tables