Re: [coreboot] ACPI S3