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