[coreboot] Re: [EC] ACPI DSDT not complete