i386: add ACPI table files from seabios