[PATCH 15/40] x86: Use the ACPI table writer