Fix typo in ARM GIC device_printf()

Obtained from:   Semihalf
Sponsored by:    The FreeBSD Foundation


git-svn-id: svn+ssh://svn.freebsd.org/base/head@274484 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f