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