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