[SeaBIOS] [PATCH] acpi_extract.py: document DEVICE directives

[Kevin O'Connor]

On Thu, Aug 01, 2013 at 07:05:09PM +0300, Michael S. Tsirkin wrote:
> commit 2b568ebb20b08c7881d976b5bc9f59a425bae5e6
>     acpi_extract: detect DeviceOp
> added new directives to acpi_extract.py, but didn't
> document them.
> Add documentation at top of file.

Thanks.  I pushed this change.

-Kevin