[coreboot-gerrit] New patch to review for coreboot: c7caabe qemu: adapt dsdt tables for coreboot & enable acpi