[SeaBIOS] [PATCHv2 0/3] acpi: fix up EJ0 in DSDT