[SeaBIOS] [PATCH 4/6] acpi_extract: fix off-by-one