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