qemu-e2k/hw/i386/acpi-microvm.h