Re: [PATCH v2 1/3] ACPI: fix: Update Tiger Lake ACPI device IDs