arm64: fix DEBUG_AGINTC

[Carlos Cardenas]

Fix kernel compile with DEBUG_AGINTC.

OK?

+--+
Carlos

Index: agintc.c
===================================================================
RCS file: /cvs/src/sys/arch/arm64/dev/agintc.c,v
retrieving revision 1.15
diff -u -p -r1.15 agintc.c
--- agintc.c    7 Dec 2018 21:33:28 -0000       1.15
+++ agintc.c    8 May 2019 03:44:51 -0000
@@ -845,7 +845,6 @@ agintc_route(struct agintc_softc *sc, in
 #ifdef DEBUG_AGINTC
                printf("router %x irq %d val %016llx\n", GICD_IROUTER(irq),
                    irq, ci->ci_mpidr & MPIDR_AFF);
-                   val);
 #endif
                bus_space_write_8(sc->sc_iot, sc->sc_d_ioh,
                    GICD_IROUTER(irq), ci->ci_mpidr & MPIDR_AFF);