Re: [PATCH v1 43/43] acpi: Enable ACPI table generation by default on x86