hw/arm/exynos4210: Don't use arm_pic_init_cpu()