Is this a known problem? Is it related to http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689722, which is supposed to have been resolved? Is there a workaround so that I can boot my machine? Or a version of the installer that does not lead to this problem? Or a way of using the installer? Is more information needed? If so, what? I will help if I can. John