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