ddi_report_dev() prints a banner at boot time, announcing the device pointed to by dip. The banner is always placed in the system logfile (displayed
by dmesg(1M)), but is only displayed on the console if the system
was booted with the verbose (-v) argument.