clean up a few details after DRI driver deletion
!10153 (merged) has landed, but there's still some mentions of the old deleted code. This MR fixes the cases I'm aware of.
!10153 (merged) has landed, but there's still some mentions of the old deleted code. This MR fixes the cases I'm aware of.