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