A further piece of info.This bug only happens on 64 bit systems. If I install the 32 bit (x86) version of Debian I get no problem.
Will try changing kernel now. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

