[SeaBIOS] Re: [PATCH] acpi: add xsdt support