Re: [coreboot] Intel soc ACPI generation using soc/intel/common/block/acpi