[SeaBIOS] [PATCH RFC 05/13] i386: add ACPI table files from seabios