mach-exynos/hkdk4412: Single file for all boards, introducing config and board naming