1 of 1 people found this helpful
Board have ACPI v3 support, and Xen support for v3 tables is preliminary. Check BIOS Setup for ACPI version declaration setting, try with 2.0 level.
Thanks for the reply JFFulcrum.
I don't see any ACPI v2.0 or v3.0 selection option under BIOS > Power. Maybe it's named differently.