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