Как использовать ACPI 2.0+ на QEMU?

Question

Я хочу использовать ACPI 2.0+ для обнаружения HPET. Прямо сейчас я прочитал этот пост: Поддержка Qemu для ACPI 2.0+ и понял, что SeaBIOS слишком стар, что не поддерживает ACPI 2.0+. Как я могу это использовать? Должен ли я использовать альтернативный BIOS, такой как OpenBIOS? Или мне следует использовать флаг -acpitable, предоставляемый QEMU, для загрузки дополнительной таблицы ACPI?