r309616 changed the definition of GICD_ITARGETSR(n) right shift n
by 2, but the usage of the macro in gic_cpu_mask() was not updated
to reflect this. This causes the cpu mask to be computed incorrectly.
Fix this by updating gic_cpu_mask(). This fixes a hang seen when
booting on ARM64 with SMP enabled.