drivers: intc_gicv3: use BIT64_MASK instead of BIT_MASK

On 32bit compiler the BIT_MASK(32) generate a warning,
after discussion on #42226 and #42163, advise was to use
BIT64_MASK instead.

Signed-off-by: Julien Massot <julien.massot@iot.bzh>
1 file changed