Re: [coreboot] ACPI breakage/questions and ramstage code question