[PATCH 28/40] x86: Move device-specific ACPI tables to a writer function