review.coreboot.org / coreboot / 6802dc8abe250abbe1b89532a9895b7c5d3f77f7 / src / cpu / samsung / exynos5250 / cpu.c