Fix gcc warning about an empty device_printf() format string in
sys/x86/iommu/intel_fault.c.

Reviewed by:	kib
Fix gcc warning about an uninitialized bool in sys/x86/iommu/intel_drv.c.

Reviewed by:	kib