[coreboot-gerrit] Patch merged into coreboot/master: 161ccc7 exynos5250: add a chip.h file for the display register settings