[PATCH v4 26/31] x86: Allow devices to write ACPI tables