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