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