gic_v3: Rename driver from gic_500

This driver should be compatible with GIC v3 implementations

include/arch/arm/arch/machine/gic_500.h → include/arch/arm/arch/machine/gic_v3.h

@@ -12,11 +12,11 @@
  */
 
 /*
- * ARM Generic Interrupt Controller v3 and v4 (GIC-500)
+ * Arm Generic Interrupt Controller v3
  */
 
-#ifndef ARCH_MACHINE_GIC500_H
-#define ARCH_MACHINE_GIC500_H
+#ifndef ARCH_MACHINE_GIC_3_H
+#define ARCH_MACHINE_GIC_3_H
 
 #include <stdint.h>
 #include <util.h>
@@ -323,4 +323,4 @@ void ipiBroadcast(irq_t irq, bool_t includeSelfCPU);
 void ipi_send_target(irq_t irq, word_t cpuTargetList);
 #endif /* ENABLE_SMP_SUPPORT */
 
-#endif /* ARCH_MACHINE_GIC500_H */
+#endif /* ARCH_MACHINE_GIC_3_H */

src/arch/arm/machine/gic_500.c → src/arch/arm/machine/gic_v3.c

@@ -12,7 +12,7 @@
  */
 #include <config.h>
 #include <types.h>
-#include <arch/machine/gic_500.h>
+#include <arch/machine/gic_v3.h>
 
 #define IRQ_SET_ALL 0xffffffff