Symbol: EXYNOS_PRNG_EXYNOS4