Re: [PATCH] ACPI: processor_idle: Skip dummy wait for processors based on the Zen microarchitecture