[PATCH 4.14 13/38] ARM: dts: versatile: Fix up interrupt controller node names