[coreboot] Patch set updated for coreboot: b07fa32 exynos/s5p: Add helper function for reading a single MVL3 GPIO