4777 ibdm shouldn't abuse ddi_get_time(9f)