Fix typo in ARM GIC device_printf()

Obtained from:   Semihalf
Sponsored by:    The FreeBSD Foundation