[coreboot] Patch merged into coreboot/master: ad7f98c exynos/s5p: Add helper function for reading a single MVL3 GPIO