[coreboot-gerrit] [XS] Change in coreboot[master]: src/acpi/acpi.c: make BOOT0000 APCI device visible to OS