Hi! If I boot without options, then the system does not boot; either restarts after a few secs or freezes with the text I sent you... ;-( Cyrille PS: Thanks again for identifying the source of the problem! Now I'm just stuck with a more precise idea of what goes wrong ;-(