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