Now an English answer ;)

> Even more, my box freezes sometimes and I have to make a hard reboot. Even
> kernel debugging with gdb is not available anymore through the serial
> console...

It happens sometimes to my PC too. But mainly when to ifconfigs collide. I
suspect there is a missing semaphore somewhere, or a semaphore that does not
work.

Vincent