[SeaBIOS] qemu / seabios ACPI table interface