[coreboot-gerrit] Patch merged into coreboot/master: d81f409 exynos: Fix the name of the chip_operations structures.