Comment 127 for bug 1791427

Me again. Now, I might have faulty hardware, but it occured to me that having 'reboot=w' in my kernel boot arguments might be the problem. I will test - i.e. see whether the patch works if I remove that argument - when I have time. Still, using that argument does have a purpose