[coreboot] [coreboot - Support #585] acpi MSDM / SLIC table usage?