[coreboot-gerrit] Change in coreboot[master]: mb/*/*{bd82x6x/ibexpreak}: Use sb/intel/common/acpi/platform.asl