It turns out this has been fixed upstream and the fix looks quite convincing. I have submitted that fix for the 13.2 kernel. I don't know how to make a kmp, I think a new kernel will appear in http://download.opensuse.org/repositories/Kernel:/openSUSE-13.2/standard/x86_64/ in a couple of day.