[SeaBIOS] [PATCH 2/2] acpi: Eliminate BDAT parameter passing to DSDT code.