exynos4: Use EXYNOS4210_NCPUS instead of max_cpus on error message