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