[coreboot-gerrit] Change in coreboot[master]: ACPI: Add default_inject_dsdt()