UEFI のみをサポートするコンピューターで xen ハイパーバイザーを実行するにはどうすればよいですか?

UEFI のみをサポートするコンピューターで xen ハイパーバイザーを実行するにはどうすればよいですか?

BIOSのアップデート、ハイパースレッディングの無効化、Ubuntu内の適切な場所にxen.efiを追加する、ソースからxenをビルドするなどを試しましたが、それでも次のエラーを回避できません。

a Xen panic stating "IO-APIC + timer doesn't work!"

このエラーを回避する方法を誰か知っていますか? 私のコンピューターはレガシー モードで実行できないため、デフォルトでは xen を起動できません。

関連情報