[SeaBIOS] [qemu PATCH 3/5] hw/acpi: export default ACPI headers using the type just introduced