[SeaBIOS] Re: [PATCH 7/9] acpi: add dsdt parser