[PATCH 022/108] x86: Allow devices to write ACPI tables