[SeaBIOS] [PATCH 0/2][RFC] Remove BDAT from ACPI interface