Samsung defconfig ARM update for v4.13:
1. Enable Exynos PRNG along with user-space crypto API.