Finally, the key combo triggered a kdump after trying a resume, and I got dump files in /var/crash. This is much stuff, about 178M. Is this to upload here? Does the dump contain privacy sensitive data?