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] Archive: http://lists.debian.org/[email protected]

