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