Steps I took:
1. added drm.debug=4 to /etc/default/grub
2. sudo update-grub
3. reboot
4. reproduced the issue
5. rebooted using ctrl-sysrq-reisub
6. dumped this dmesg into log.txt