[coreboot-gerrit] New patch to review for coreboot: 6032c96 Samsung/exynos5250: convert unsigned {int, char} to u32/u8