[SeaBIOS] [PATCH 4/5] acpi: Don't build SSDT files on every build; store them in git