hw/arm/exynos4210: Fix code style nit in combiner_grp_to_gic_id[]