[PATCH 4.19 17/17] ARM: dts: versatile: Fix up interrupt controller node names