[SeaBIOS] [PATCH 5/6] acpi_extract: detect DeviceOp