Re: Looking for guidance to reproduce a bug in drm/vkms reported by syzkaller