Add per platform initialisation code and perform a CPU switch if Exynos5 boots on the A7 cores
Merge pull request #1 from akroh/master

Add per platform initialisation code and perform a CPU switch if Exynos5...