[SeaBIOS] [PATCH] acpi: make default DSDT optional