xen/intr: adjust xenisrc types, adjust format strings to match

As "CPUs", IRQs (vector) and virtual IRQs are always positive integers,
adjust the Xen code to use unsigned integers. Several format strings
need adjustment to match. Additionally single-bit bitfields are
boolean.

No functional change expected.

Reviewed by: royger