Roger Pau Monne writes ("[PATCH OSSTEST] linux: enable x2APIC kernel support"):
> Without it Linux is not able to parse the x2APIC ACPI MADT entries
> crafted by Xen when booted in PVH mode, following log is from one of
> the dom0pvh jobs:Acked-by: Ian Jackson <ian.jack...@eu.citrix.com> And pushed to pretest. Thanks, Ian.
