Re: [SeaBIOS] [PATCH v2 0/4] qemu: generate acpi tables for the guest