[coreboot] New patch to review for coreboot: 5d707fb exynos/s5p: Add helper function for reading a single MVL3 GPIO