Re: [SeaBIOS] qemu / seabios ACPI table interface