Fix get_video_driver() stubs