[Fedora-xen] Can't boot xen0 with ACPI enabled