[PATCH kernel-4.19 57/84] ARM: dts: nomadik: Fix up interrupt controller node names