Many thanks. I will do so. But I am not sure, where to define the option drm.debug=0x1e best? Which file to edit? /etc/default/grub? Sorry for asking this stupid question. The man pages are good for those already knowing the essentials. Cheers