HomeFreeBSD

vmm: Fix ivrs_drv device_printf usage