Re: [SeaBIOS] [Qemu-devel] [PATCH RFC 12/13] i386: ACPI table generation code from seabios