Re: [SeaBIOS] Compiling SeaBIOS for coreboot has problems with its ACPI code