Re: [SeaBIOS] [PATCH] acpi: sync FADT flags from PIIX4 to Q35