I justed tested the same kernel version with a .config which was created by copying the .config from the standard debian kernel, running "make xconfig" and saving. I got a crash here, too, but only on the second attempt (this has happend a few (~3) times before). I'm not posting the log as it got to long due to the repetion of the procedure, also a standard debian kernel does not print the thread id which I guess will make the log more confusing. Bert
