Re: [PATCH v2 1/2] acpi: consider XSDT in acpi_find_table()