[PATCH 4.4 10/26] ARM: dts: versatile: Fix up interrupt controller node names