[PATCH 4.9 12/32] ARM: dts: versatile: Fix up interrupt controller node names