xemu/hw/i386/acpi-microvm.h