Pulled in 3.4 Kconfig
Do not source mach-s3c24xx or mach-exynos yet, if ever.
[Fixes #16] Merge arch/arm/vfp which defines get_copro_access