[coreboot-gerrit] Patch merged into coreboot/master: 130aafa Samsung/exynos5250: convert unsigned {int, char} to u32/u8