Hi Geert, after some updates this bug did not appear on my 64-bit notebook again, but it still appears on my EEEPC, which has the same package versions as my 64-bit notebook, except that all packages are 32-bit.
I added a new file of dmesg output fropm my EEEPC. I hope it helps. Please feel free to ask for any more information. And: Thanks for your help! Best Hans