[coreboot-gerrit] New patch to review for coreboot: 8cc9ce3 exynos5: select HAVE_MONOTONIC_TIMER