Comment 15 for bug 892615

Unless I'm mistaken, it appears that kernel.org GIT has adopted a different fix for the same issue:

https://git.kernel.org/?p=linux/kernel/git/torvalds/linux.git;a=commit;h=8e8da023f5af71662867729db5547dc54786093c

I've contacted Borislav Petkov to confirm whether it's indeed the final fix or if it's unrelated. I'll report on his answer here.