[SeaBIOS] [PATCH RFC 0/3] seabios: move acpi table formatting out of bios