On some hardware we need to read the CPU interface ID. This is because
not all SoCs boot from CPU0 as the GIC sees the world.
To work around this it we can ask the ID by reading any of
GICD_ITARGETSR0 to GICD_ITARGETSR7. These are defined to return the
mask for the current CPU.