Jan, Sorry, I did send the logs for the case the pinning was configured to prevent the failure to happen. Servers are already taken into production and I cannot easily reproduce the fault situation. I have to organise another server which I can use for testing. I expect this server to come in in a couple of weeks. I hope this server reproduces this bug. Note, after the bug occurs, I cannot provide you with dmesg dumps, since the server becomes unresponsive. So I have to setup logging over a serial port to another host and we have to work with what will be shown there. If you have special demands regarding the configuration, let me know how to configure this. As soon I have my test setup available, I'll come back with new information.