Take the ITS device lock around gicv3_its_release_irqsrc() since that
function checks that the mutex lock is owned.

This fixes 'devctl disable re0' operation.

Sponsored by: Innovate DSbD
Differential Revision: https://reviews.freebsd.org/D26904