[coreboot] Patch merged into coreboot/master: 3414234 Exynos5250: change all unsigned with no type to 'unsigned int'