Re: [SeaBIOS] [PATCHv2] acpi: make default DSDT optional