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