[SeaBIOS] [PATCH 1/2] acpi: allow header strings be configured on config.h