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