[PATCH v3 24/29] x86: Allow devices to write ACPI tables