Re: [SeaBIOS] [Qemu-devel] qemu / seabios ACPI table interface