Comment on attachment 139197 [details]
dmesg output linux 4.17 rc2
This is from one boot to the next boot. I booted the system at 18:22 and I was
using it for upto 20:00. I went for a cup of tea and system froze at 20:08.
Then I've booted the system again.
I am using a hand compiled linux kernel 4.17-rc2