Hi Ben,
I tracked this bug down and a fix should be in the next stable update.
Wow, thank you for your immediate response!
Although the fix is "obvious" to me looking at the code, it would be better if you could verify the fix on your system. Are you happy to build and install a new kernel package, given instructions?
This wouldn't be the first one, so any patch is welcome ;-) ciao Christian