[coreboot] New patch to review for coreboot: 8d2fb5c Exynos5250: change all unsigned with no type to 'unsigned int'