As said earlier, the number of DevBits implemented by the ITS can be limited
(see GITS_TYPER.Devbits).
If the devid is not within this range, the ITS won't recognize the value and
won't be able to send the interrupt.
So this is clearly not the right value.
Sure, in that case the maximum value allowed by GITS_TYPER.Devbits.
Vijay, what is the value of GITS_TYPER.Devbits on your platform?