Does any of the machines where you can reproduce the bug have a serial port to catch the kernel log output while the machine freezes? That would be very helpful to track the issue down. Thanks, Joerg