My previous claim that the patch (from comment 16) doesn't work is invalid (I incorrectly applied it).
I applied it on top of 3.13-rc3 and it fixes the problem. I did 8 shutdowns (using a command "sudo poweroff") and it worked correctly 8 times.
Thanks for quickly fixing it.
My previous claim that the patch (from comment 16) doesn't work is invalid (I incorrectly applied it).
I applied it on top of 3.13-rc3 and it fixes the problem. I did 8 shutdowns (using a command "sudo poweroff") and it worked correctly 8 times.
Thanks for quickly fixing it.