Re: [PATCH v2] acpi/processor: sanitize _PDC buffer bits when running as Xen dom0