rpi4: Add GIC maintenance interrupt to GIC DT node